OFFSET
0,2
COMMENTS
Positions of zeros in A025639. - R. J. Mathar, Jul 06 2025
LINKS
Amiram Eldar, Table of n, a(n) for n = 0..10000
FORMULA
From Amiram Eldar, Nov 14 2025: (Start)
A025612(a(n)) = 10^n.
a(n) = 1 + Sum_{k=0..n} ceiling(k * c), where c = log_2(10) (A020862).
a(n) ~ c * n^2 / 2, where c is defined above. (End)
MATHEMATICA
Accumulate[Table[Ceiling[n / Log10[2]], {n, 0, 60}]] + 1 (* Amiram Eldar, Nov 14 2025 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
EXTENSIONS
Offset corrected by Amiram Eldar, Nov 14 2025
STATUS
approved
