%I #8 Aug 10 2015 06:23:18

%S 0,0,12,20736,1186099200,4863092981760000,2405722022408355840000000,

%T 210982363040448544794759659520000000,

%U 4417663598633083951292726052200194139750400000000,28285349218442861392592006529041874362190858603724800000000000000,68815738101453790475316164980880834884596607113691790965601206272000000000000000000

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

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

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

%H Matthew House, <a href="/A127395/b127395.txt">Table of n, a(n) for n = 0..28</a>

%K nonn

%O 0,3

%A _N. J. A. Sloane_, Apr 02 2007