3
$\begingroup$

I am confused how you would continue with the inductive step. Thanks

  • 0
    Maybe after $n=5$ since it holds at $n=6$.2017-02-08
  • 0
    Yes, it should be after 5 or n >= 62017-02-08
  • 3
    Hint: Observe that $({n+1\over{2}})^{n+1}=(\frac{n}{2}+\frac{1}{2})^{n+1}>(\frac{n}{2})^{n+1}+\frac{1}{2}(\frac{n}{2})^n$2017-02-08

1 Answers 1

3

Basis step, $P_6 : 6!<(\frac{6}{2})^6\rightarrow 720<3^6=729$. True

Inductive step, suppose $P_n$ is true, prove that $P_{n+1}$ is also true.

Note $P_n:n!<(\frac{n}{2})^n$ and $P_{n+1}:(n+1)!<(\frac{n+1}{2})^{n+1}$

Observe that, $$\begin{align}(\frac{n+1}{2})^{n+1}&=(\frac{n}{2}+\frac{1}{2})^{n+1} \\&>(\frac{n}{2})^{n+1}+(n+1)\cdot\frac{n^n}{2^{n+1}}+\frac{n(n+1)}{2}\cdot(\frac{n^{n-1}}{2^{n+1}})\tag{binomial}\\&=\frac{(5n+3)}{4}\cdot(\frac{n}{2})^n\\&=(n+\frac{n+3}{4})\cdot(\frac{n}{2})^n\\&>(n+1)\cdot(\frac{n}{2})^n,\forall n\ge6\end{align}$$

So, start with $P_n$,

$$\begin{align}n!(n+1)&<(\frac{n}{2})^n\cdot(n+1)\\&<(\frac{n+1}{2})^{n+1}\end{align}$$

  • 0
    I'm sorry for many edits.2017-02-08
  • 0
    Thank you for the help. I'm just confused with what you did on the (binomial) step2017-02-08
  • 0
    I edited again, $\displaystyle (\frac{n}{2}+\frac{1}{2})^{n+1}=\binom{n+1}{0}(\frac{n}{2})^{n+1}+\binom{n+1}{1}(\frac{n}{2})^n\cdot\frac{1}{2}+...$ and I pick 1st, 2nd and 3rd terms.2017-02-08