This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A105517 #16 Mar 18 2023 10:36:14
%S A105517 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,
%T A105517 1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,
%U A105517 4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,5,5,5
%N A105517 Number of times 7 is the leading digit of the first n+1 Fibonacci numbers in decimal representation.
%H A105517 Winston de Greef, <a href="/A105517/b105517.txt">Table of n, a(n) for n = 0..10000</a>
%F A105517 a(n) = #{k: A008963(k) = 7 and 0<=k<=n};
%F A105517 a(A105507(n)) = a(A105507(n) - 1) + 1;
%F A105517 n = A105511(n) + A105512(n) + A105513(n) + A105514(n) + A105515(n) + A105516(n) + a(n) + A105518(n) + A105519(n).
%F A105517 a(n) ~ log_10(8/7) * n. - _Amiram Eldar_, Jan 12 2023
%t A105517 Accumulate[Table[If[IntegerDigits[Fibonacci[n]][[1]]==7,1,0],{n,0,120}]] (* _Harvey P. Dale_, Apr 29 2018 *)
%o A105517 (PARI)
%o A105517 (leadingdigit(n, b=10) = n \ 10^logint(n, b));
%o A105517 (isok(n) = leadingdigit(fibonacci(n))==7);
%o A105517 (lista(n)=my(a=vector(1+n), r=0); for (i=1, n, r+=isok(i); a[1+i]=r); a) \\ _Winston de Greef_, Mar 17 2023
%Y A105517 Cf. A000030, A000045, A008963, A105507.
%Y A105517 Cf. A105511, A105512, A105513, A105514, A105515, A105516, A105518, A105519.
%K A105517 nonn,base
%O A105517 0,45
%A A105517 _Reinhard Zumkeller_, Apr 11 2005