MathDB
(n - m)!/m! <= (n/2 + 1/2)^{n-2m} if 0< 2m < n

Source: 1970 Swedish Mathematical Competition p6

March 21, 2021
inequalitiesalgebra

Problem Statement

Show that (nm)!m!(n2+12)n2m\frac{(n - m)!}{m!} \le \left(\frac{n}{2} + \frac{1}{2}\right)^{n-2m} for positive integers m,nm, n with 2mn2m \le n.