OFFSET
1,1
FORMULA
a(n) ~ kn by the equidistribution theorem, where k = log(10)/(log(8) - log(7)) = 17.24377.... - Charles R Greathouse IV, Oct 07 2016
EXAMPLE
MATHEMATICA
Flatten[Position[Fibonacci[Range[1000]], _?(IntegerDigits[#][[1]]==7&)]] (* Harvey P. Dale, Nov 20 2015 *)
PROG
(PARI) is(n)=digits(fibonacci(n))[1]==7 \\ Charles R Greathouse IV, Oct 07 2016
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Reinhard Zumkeller, Apr 11 2005
STATUS
approved