login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

a(n) is the least number k such that the average number of odd divisors of {1..k} is >= n.
5

%I #19 Nov 18 2020 10:27:41

%S 1,21,165,1274,9435,69720,515230,3807265,28132035,207869515,

%T 1535959665,11349295155

%N a(n) is the least number k such that the average number of odd divisors of {1..k} is >= n.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/OddDivisorFunction.html">Odd Divisor Function</a>.

%F a(n+1)/a(n) approaches e^2.

%e a(5) = 9435 because the average number of odd divisors of {1..9435} is >= 5.

%t m = 1; sum = 0; s = {}; Do[sum += DivisorSigma[0, k/2^IntegerExponent[k, 2]]; If[sum >= m*k, AppendTo[s, k]; m++], {k, 1, 10^6}]; s (* _Amiram Eldar_, Nov 15 2020 *)

%o (PARI) a(n) = my(s=1, k=1); while(s<k*n, k++; s=s+numdiv(k>>valuation(k, 2))); k; \\ _Michel Marcus_, Nov 14 2020

%Y Cf. A001227, A060831, A072334, A085829, A328331, A338943.

%K nonn,more

%O 1,2

%A _Ilya Gutkovskiy_, Nov 14 2020

%E a(11)-a(12) from _Amiram Eldar_, Nov 16 2020