Prove that $n^n$ is greater than $1\cdot3\cdot5\cdots(2n-1)$

HINT: If $n=2m$ is even, you can pair up the factors on the righthand side: $1\cdot(2n-1)$, $3\cdot(2n-3)$, and so on until you get to $(2m-1)(2m+1)$. Each of these pairs has the form $(2m-k)(2m+k)$ for some odd $k$ and is therefore less than $(2m)^2=n^2$.

Example. Take $n=4$, so that we’re comparing $4^4$ with $1\cdot3\cdot5\cdot7$. The righthand side is $$(1\cdot7)\cdot(3\cdot5)=\big((4-3)(4+3)\big)\big((4-1)(4+1)\big)<4^2\cdot4^2=4^4\;.$$

If $n$ is odd, you can pair up all of the factors on the righthand side except the one in the middle, which is $n$ itself. Throw that unpaired factor away and compare what’s left with $n^{n-1}$.


$$1\cdot3\cdot5\cdot\cdots\cdot(2n-1)=\frac{1\cdot2\cdot3\cdot\cdots\cdot(2n)}{2\cdot4\cdot\cdots\cdot(2n)}=\frac{(2n)!}{2^nn!}$$

So you are asking to prove $$(2n)^nn!\geq(2n)!$$

Divide by $n!$ and you are trying to prove $$(2n)^n\geq(n+1)(n+2)\cdots(2n)$$ which is obviously true because each side is a product of $n$ factors and the factors on the left are all larger than the factors on the right (except for one factor that they equal).


Only noticed this question today. Although the selected answer is quite nice and arguably simpler than the argument below, none of the posted answers address what appeared to be the original intent of establishing the inequality using the Arithmetic Mean-Geometric Mean Inequality. For this, simply notice that $$ 1+3+\ldots+(2n-1)=n^2, $$ which can be easily proved, for instance, using induction. By the AM-GM inequality, it follows that $$n=\frac{1+3+\ldots+(2n-1)}n\ge\sqrt[n]{1\cdot 3\cdot\ldots\cdot (2n-1)}, $$ and we are done.