A127395 Product((2*i)!, i = 1..n) - ((n+1)!)^n.

0, 0, 12, 20736, 1186099200, 4863092981760000, 2405722022408355840000000, 210982363040448544794759659520000000, 4417663598633083951292726052200194139750400000000, 28285349218442861392592006529041874362190858603724800000000000000, 68815738101453790475316164980880834884596607113691790965601206272000000000000000000

Offset

0,3

Comments

Theorem: Product((2*i)!, i = 1..n) > ((n+1)!)^n for n >= 2.

References

D. S. Mitrinovic, Analytic Inequalities, Springer-Verlag, 1970; p. 193, 3.1.18.

Links

Matthew House, Table of n, a(n) for n = 0..28

Crossrefs

Sequence in context: A216874 A012736 A013750 * A076807 A308139 A220791

Adjacent sequences: A127392 A127393 A127394 * A127396 A127397 A127398

Keyword

nonn

Author

N. J. A. Sloane, Apr 02 2007

Status

approved