OFFSET
0,3
COMMENTS
Theorem: (n*(n+1)^3/8)^n > (n!)^4 for n > 1.
REFERENCES
D. S. Mitrinovic, Analytic Inequalities, Springer-Verlag, 1970; p. 193, 3.1.17.
EXAMPLE
(n*(n+1)^3/8)^n - (n!)^4 gives 0, 0, 473/16, 12528, 238832209/16, 44632974375, 1186012759734957321/4096, ...
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Apr 02 2007
STATUS
approved