A339747 a(n) = (5^(valuation(n, 5) + 1) - 1) / 4.

1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 31, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 31, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 31, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, 1, 1, 1, 1, 31

Offset

1,5

Comments

Sum of powers of 5 dividing n.

Denominator of the quotient sigma(5*n) / sigma(n).

Links

Amiram Eldar, Table of n, a(n) for n = 1..10000

Formula

G.f.: Sum_{k>=0} 5^k * x^(5^k) / (1 - x^(5^k)).

L.g.f.: -log(Product_{k>=0} (1 - x^(5^k))).

Dirichlet g.f.: zeta(s) / (1 - 5^(1 - s)).

a(n) = sigma(n)/(sigma(5*n) - 5*sigma(n)), where sigma(n) = A000203(n). - Peter Bala, Jun 10 2022

From Amiram Eldar, Nov 27 2022: (Start)

Multiplicative with a(5^e) = (5^(e+1)-1)/4, and a(p^e) = 1 for p != 5.

Sum_{k=1..n} a(k) ~ n*log_5(n) + (1/2 + (gamma - 1)/log(5))*n, where gamma is Euler's constant (A001620). (End)

Mathematica

Table[(5^(IntegerExponent[n, 5] + 1) - 1)/4, {n, 1, 100}]
nmax = 100; CoefficientList[Series[Sum[5^k x^(5^k)/(1 - x^(5^k)), {k, 0, Floor[Log[5, nmax]] + 1}], {x, 0, nmax}], x] // Rest

Prog

(PARI) a(n) = (5^(valuation(n, 5) + 1) - 1)/4; \\ Amiram Eldar, Nov 27 2022

Crossrefs

Cf. A000203, A001620, A038712, A060904, A080278, A088842, A112765, A323921, A339748.

Sequence in context: A268731 A376882 A080219 * A293901 A324891 A260340

Adjacent sequences: A339744 A339745 A339746 * A339748 A339749 A339750

Keyword

nonn,mult

Author

Ilya Gutkovskiy, Dec 15 2020

Status

approved