OFFSET
1,1
FORMULA
a(n) ~ kn by the equidistribution theorem, where k = log(10)/(log(5) - log(4)) = 10.318851.... - Charles R Greathouse IV, Oct 07 2016
PROG
(PARI) is(n)=digits(fibonacci(n))[1]==4 \\ Charles R Greathouse IV, Oct 07 2016
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Reinhard Zumkeller, Apr 11 2005
STATUS
approved