A127395 - OEIS

The OEIS is supported by the many generous donors to the OEIS Foundation.

A127395

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

1

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

(list; graph; refs; listen; history; text; internal format)

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