Lemma
DeepInequalities
#1660 · Algebra · Inequalities

Factorial inequality

Show that (n!)^3 < n^nigl( rac{n+1}{2} ight)^{2n}.

~20 minProof · checked by AIInequalitiesFactorialsArithmetic-Geometric Mean

H. S. Hall & S. R. Knight, Higher Algebra (1891) · Ch. XIX. Inequalities, Examples XIX.a, No. 20

Stuck? A gentle nudge
Something off?
Workspace
Your working

Check your full solution

Upload photos of your handwritten work or a PDF, and Lemma will read it and tell you whether it's right — and where it first goes wrong if not.