# Proving that $n!≤((n+1)/2)^n$ by induction [duplicate]

I'm new to inequalities in mathematical induction and don't know how to proceed further. So far I was able to do this:
$V(1): 1≤1 \text{ true}$
$V(n): n!≤((n+1)/2)^n$
$V(n+1): (n+1)!≤((n+2)/2)^{(n+1)}$

and I've got :
$(((n+1)/2)^n)\cdot(n+1)≤((n+2)/2)^{(n+1)}$
$((n+1)^n)n(n+1)≤((n+2)^n)((n/2)+1)$

## marked as duplicate by Martin Sleziak, user147263, user91500, N. F. Taussig, Harish Chandra RajpootOct 19 '15 at 9:51

• As a sidenote: A direct proof without using induction in this form is possible based on the arithmetic-geometric-mean inequality, noting that $k\cdot(n+1-k)\le \left(\frac{n+1}2\right)^2$. The obstacle with an induction proof is that (while the step from $n!$ to $(n+1)!$ is easy - just multiply by $n+1$, this is not easy for the step from $(\frac{n+1}2)^n$ to $(\frac{n+2}2)^{n+1}$ – Hagen von Eitzen Oct 12 '13 at 13:55
• – Martin Sleziak Oct 19 '15 at 5:00

An induction proof:

First, let's make it a little bit more eye-candy:

$$n! \cdot 2^{n} \leq (n+1)^n$$

Now, for $n=1$ the inequality holds. For $n=k\in\mathbb{N}$ we know that:

$$k! \cdot 2^{k} \leq (k+1)^k$$

holds and we need to prove:

$$(k+1)! \cdot 2^{k+1} \leq (k+2)^{k+1}$$

We will now prove this chain of inequalities (which gives us the actual proof):

$$(k+1)! \cdot 2^{k+1} \leq 2(k+1)^{k+1} \leq (k+2)^{k+1}$$

The first inequality is from the assumption (both sides multiplied by $2(k+1)$). Now we just need to prove the second one. In other words, we need to prove this (for some big enough positive integer $p$):

$$2p^{p} \leq (p+1)^{p}$$

And that's rather obvious. The inequality

$$2 \leq \left(1+\frac{1}{p}\right)^{p}$$

holds because the function on the right is known to be increasing and its limit (as $p\to\infty$) is $e$. So at some point on it has to be greater than 2.

• In the last step there's no need to cite a somewhat advanced fact about the function $(1+\frac1x)^x$. Since $p$ is an integer, you can expand $(1+\frac1p)^p$ in a binomial expansion of positive terms, the first two of which are $1 + \frac{p}p = 1 + 1 = 2$, so $(1+\frac1p)^p \geq 2$ as desired. – Noam D. Elkies Oct 12 '13 at 15:28
• @NoamD.Elkies You're right! That's much easier ending. Thank you. – Jeyekomon Oct 12 '13 at 16:44
• Thank you very much :) it was really helpful – John Doe Oct 12 '13 at 16:51

It is more easy to prove this inequality without induction. Really $$0 < i\cdot (n + 1 - i) = \left(\frac{n+1}2 + \frac{2i - n - 1}2\right)\left(\frac{n+1}2 - \frac{2i - n - 1}2\right) = \left(\frac{n+1}2\right)^2 - \left(\frac{2i - n - 1}2\right)^2 \le \left(\frac{n+1}2\right)^2.$$ Multiply this inequalities for all $i = 1, 2, \ldots, \left\lfloor\frac n2\right\rfloor$ and by $\frac{n+1}2 = \frac{n+1}2$ for odd $n$ to get $n! \le \left(\frac{n+1}2\right)^n$ as desired.

• Actually, to properly remove the "$\ldots$" in your proof one does need induction (or: if you use the recursive definition of factorial, you are doomed to use induction somewhere). But indeed this is not a proof by induction in the sense that one somhow tries to show $n!\le (\frac{n+1}2)^n\Rightarrow (n+1)!\le (\frac{n+2}2)^{n+1}$. – Hagen von Eitzen Oct 12 '13 at 14:00
• Would you like to proove by induction that we have right to multiply arbitrary number of inequalities of positive numbers? Really I used $\ldots$ to write $\prod_{i = 1}^{\lfloor n/2 \rfloor} i\cdot(n + 1 - i) \le \prod_{i = 1}^{\lfloor n/2 \rfloor} \left(\frac{n+1}2\right)^2$ in more simple form. – Smylic Oct 12 '13 at 14:57
• Thank you so much for your help guys :) I truly appreciate it – John Doe Oct 12 '13 at 15:15

If you really need induction let it be. Base is $n = 0$: $0! = 1 \le 1 = \left(\frac12\right)^0$. By induction hypothesis the inequality holds for $n = k$. Let proove it for $n = k+1$. $$k! \le \left(\frac{k+1}2\right)^k,\\ k!(k+1) \le \left(\frac{k+1}2\right)^k(k+1),$$ $$(k+1)! \le \frac{(k+1)^{k+1}}{2^k}.\tag{*}$$ Now we need to show that $f(x) = \frac{x^{x}}{(x+1)^x} \le \frac12$. Ok, $f(x) = \left(\frac{x}{x+1}\right)^x = e^{x(\ln x - \ln (x+1))}$, then $$f'(x) = e^{x(\ln x - \ln (x+1))}\left((\ln x - \ln (x+1)) + x\left(\frac1x - \frac1{x+1}\right)\right) = e^{x(\ln x - \ln (x+1))}\left(\ln \left(1 - \frac1{x+1}\right) + \frac1{x+1}\right) \le 0$$ for any positive $x$, since $\ln y \le y - 1$ for any positive $y$. So $f(x) \le f(1) = 1/2$ for any $x \ge 1$. Then from (*) we get $$(k+1)! \le \frac{(k+1)^{k+1}}{2^k} \le \frac{(k+1)^{k+1}}{2^k}\cdot \frac1{2f(k+1)} = \frac{(k+1)^{k+1}}{2^k}\cdot \frac{(k+2)^{k+1}}{2(k+1)^{k+1}} = \frac{(k+2)^{k+1}}{2^{k+1}} = \left(\frac{k+2}2\right)^{k+1}.$$