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 A045517 #17 Jul 19 2020 02:35:34 %S A045517 5040,51090942171709440000, %T A045517 523022617466601111760007224100074291200000000, %U A045517 5502622159812088949850305428800254892961651752960000000000 %N A045517 Factorials with initial digit '5'. %C A045517 Benford's law shows that this sequence will contain about (log 6 - log 5)/log 10 =~ 8% of factorials. [_Charles R Greathouse IV_, Nov 13 2010] %H A045517 <a href="/index/Be#Benford">Index entries for sequences related to Benford's law</a> %F A045517 a(n) = A000142(A045524(n)). - _Amiram Eldar_, Jul 19 2020 %t A045517 Select[Range[100]!,First[IntegerDigits[#]]==5&] (* _Harvey P. Dale_, Sep 06 2016 *) %Y A045517 For factorials with initial digit d (1 <= d <= 9) see A045509, A045510, A045511, A045516, A045517, A045518, A282021, A045519; A045520, A045521, A045522, A045523, A045524, A045525, A045526, A045527, A045528, A045529. See also A000142. %K A045517 nonn,base %O A045517 1,1 %A A045517 _Jeff Burch_