Lemma
DeepInequalities
#1678 · Algebra · Inequalities

Minimum product of factorials

If $a, b, c, d,
otpna! b! c! d!
ot(q!)^{p-r}((q+1)!)^rqrnp$.

~20 minProof · checked by AIfactorialinequalitiesminimization

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

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.