Thursday, December 5, 2019

real analysis - Monotonicity of $frac{n}{sqrt[n]{(n!)}}$



It is known that when $n\rightarrow\infty$ the sequence $$\frac{n}{\sqrt[n]{(n!)}}$$ has limit $e$ but I don't know how to prove it's monotonicity. After a short calculus using WolframAlpha I found that this sequence is actually increasing. I tried to compare $2$ consecutive members but I couldn't manage to show something. It is obvious that $$\frac{n^n}{n!}$$ is increasing but that don't help us much (I think)



Answer



We need to show that



$$a_n=\frac{n}{\sqrt[n]{n!}}\quad a_{n+1}\geq a_n\iff$$



$$\frac{n+1}{\sqrt[n+1]{(n+1)!}}\geq \frac{n}{\sqrt[n]{n!}}
\iff
\frac{n+1}{ (n+1)!^ \left(\frac{1}{n+1}\right) }n!^\left( \frac{1}{n} \right)\geq n \iff$$



$$ (n+1)^{\left(1-\frac{1}{n+1}\right)}n!^{\left(\frac{1}{n} -\frac{1}{n+1}\right)}\geq n

\iff
(n+1)^{\left(\frac{n}{n+1}\right)}n!^{\left(\frac{1}{n(n+1)}\right)}\geq n $$



$$
(n+1)^{n^2}n!\geq n^{\left(n(n+1)\right)}=n^{n^2}n^n\iff \frac{n^n}{n!}\leq \left(\frac{n+1}{n}\right)^{n^2}=\left(1+\frac1n\right)^{n^2}\iff $$



$$\left(1+\frac1n\right)^{n^2} \geq\frac{n^n}{n!}$$



which is true since




$$\left(1+\frac1n\right)^{n^2}\geq \left(1+\frac1n\right)^{n^2-1}=\left[\left(1+\frac1n\right)^{n+1}\right]^{n-1}\geq e^{n-1}\geq\frac{n^n}{n!}$$



indeed



$$e^{n-1}\geq\frac{n^n}{n!}\iff b_n=\frac {e^nn!}{n^n}\geq e$$



which is true $\forall n$ since



$$n=1 \implies b_1=\frac{e^11!}{1^1}\geq e$$




and



$$\frac{b_{n+1}}{b_n}=\frac {e^{n+1}(n+1)!}{(n+1)^{n+1}}\frac {n^n}{e^nn!}=\frac{e}{\left(1+\frac1n\right)^n}>1$$



For the last inequality see also the related OP



Show that $e^{1-n} \leq \frac {n!}{n^n}$


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...