Proof verification of $\left(1+{1\over n}\right)^n > e^{1-1/n}$ for all $n\in\Bbb N$.

calculusinequalitylimitsproof-verificationsequences-and-series

Prove that for all $n\in\Bbb N$:
$$
\left(1+{1\over n}\right)^n > e^{1-{1\over n}}
$$

Suppose the inequality holds.

Using the fact that:
$$
\lim_{n\to\infty}\left(1+{x\over n}\right)^n = e^x
$$

and:
$$
\left(1+{x\over n}\right)^n \le \left(1+{x\over n+1}\right)^{n+1}
$$

put $x = {1-{1\over n}}$ in the above:
$$
e^{1-{1\over n}} > \left(1+\frac{1-{1\over n}}{n}\right)^n = \\
= \left(1+\frac{n-1}{n^2}\right)^n = y_n
$$

Let $x_n$:
$$
x_n = \left(1+{1\over n}\right)^n
$$

Consider the fraction:
$$
\frac{x_n}{y_n} = \frac{\left(1+{1\over n}\right)^n}{\left(1+\frac{n-1}{n^2}\right)^n} \\
=\left(\frac{n^2(n+1)}{n(n^2 + n – 1)}\right)^n \\
= \left(\frac{n^2 + n}{n^2 + n – 1}\right)^n > 1
$$

Therefore $x_n > y_n$. But at the same time:
$$
e^{1-{1\over n}} > y_n
$$

Thus:
$$
x_n > e^{1-{1\over n}} > y_n
$$

Define:
$$
z_n = e^{1-{1\over n}}
$$

Now if we take the limit of both sides then by squeeze theorem we get:
$$
\lim_{n\to\infty}x_n \ge\lim_{n\to\infty} z_n \ge \lim_{n\to\infty}y_n
$$

All three limits are equal to $e$ which shows that $z_n$ is squeezed between $x_n$ and $y_n$ meaning that $x_n > z_n$.

I'm not pretty sure the reasoning above is valid, so i'm kindly asking to verify it or point to the flaws. In case the above is wrong could you please show the way to prove the inequality? Thank you!

Best Answer

Your flaw is that you are assuming the result to begin your proof. Here is a simple approach: $$\dfrac 1n +n\ln\left(1+\frac 1n\right)>\frac 1n+\frac{n}{n+1} = \dfrac{n^2+n+1}{n^2+n}>1.$$ Now, check that above is equivalent to your inequality. We used the well-known fact that: $$\ln(1+x)>\dfrac{x}{x+1}$$ for $x>0.$