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 A127425 #7 Dec 31 2024 20:17:17
%S A127425 0,0,29,12528,14927013,44632974375,289553896419667,
%T A127425 3621335176611561472,79763800168579144103361,
%U A127425 2886490238072828615188093125,162510049064391484117789761805165,13624190843866457706897020192739557376,1640800492737366435568874082163705520197134
%N A127425 Floor((n*(n+1)^3/8)^n)-(n!)^4.
%C A127425 Theorem: (n*(n+1)^3/8)^n > (n!)^4 for n > 1.
%D A127425 D. S. Mitrinovic, Analytic Inequalities, Springer-Verlag, 1970; p. 193, 3.1.17.
%e A127425 (n*(n+1)^3/8)^n - (n!)^4 gives 0, 0, 473/16, 12528, 238832209/16, 44632974375, 1186012759734957321/4096, ...
%t A127425 Join[{0},Array[Floor[(#(#+1)^3/8)^#-(#!)^4]&,12]] (* _James C. McMahon_, Dec 31 2024 *)
%K A127425 nonn
%O A127425 0,3
%A A127425 _N. J. A. Sloane_, Apr 02 2007