[go: up one dir, main page]

login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A127425
Floor((n*(n+1)^3/8)^n)-(n!)^4.
1
0, 0, 29, 12528, 14927013, 44632974375, 289553896419667, 3621335176611561472, 79763800168579144103361, 2886490238072828615188093125, 162510049064391484117789761805165, 13624190843866457706897020192739557376, 1640800492737366435568874082163705520197134
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
Sequence in context: A201489 A028459 A199369 * A135253 A262715 A274545
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Apr 02 2007
STATUS
approved