OFFSET
0,2
COMMENTS
First and last nonzero decimal digits of 2^(-m) appear respectively at the ceiling(m/log_2(10))-th and m-th positions after the point. Hence a(n+1) equals the minimum solution to ceiling(x/log_2(10)) = a(n) + 1, which is x = ceiling(a(n)*log_2(10)).
FORMULA
a(n+1) = ceiling(a(n)*log_2(10)) = ceiling(a(n)*A020862). - Conjectured by R. J. Mathar, proved by Max Alekseyev
EXAMPLE
Start from 0;
0 + 2^(-1) = 0.5;
0.5 + 2^(-4) = 0.5625 (first digit "5" is equal to the decimal of previous number);
0.5625 + 2^(-14) = 0.56256103515625 (first digits "5625" are equal to the decimals of previous number);
etc.
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Paolo P. Lava and Giorgio Balzarotti, Mar 14 2008
EXTENSIONS
Edited and extended by Max Alekseyev, May 13 2009
STATUS
approved