Show that, for all $n > 1: \frac{1}{n + 1} < \log(1 + \frac1n) < \frac1n.$

As suggested user84413 you can apply the MVT to $f(x)=\ln x$ on the interval $[n,n+1]$ for $n>0$: there is $t\in(n,n+1)$ such that $$\log\left(1 + \frac1n\right)=\ln(n+1)-\ln(n)=f(n+1)-f(n)=f'(t)((n+1)-n)=\frac{1}{t}.$$ Now note that $0<n<t<n+1$ implies that $\frac{1}{n+1}<\frac{1}{t}<\frac{1}{n}$.


By definition, for any $n>0$, $$\ln {\left(1+\frac{1}{n}\right)}=\int_1^{1+\frac{1}{n}}\frac{1}{t}\,dt$$

And $$1<t<1+\frac{1}{n}\implies \frac{n}{n+1}<\frac{1}{t}<1$$

Therefore, $$\frac{n}{n+1}\int_1^{1+\frac{1}{n}}\,dt<\int_1^{1+\frac{1}{n}}\frac{1}{t}\,dt<\int_1^{1+\frac{1}{n}}\,dt$$

That is, $$\frac{1}{n+1}<\ln {\left(1+\frac{1}{n}\right)}<\frac{1}{n}$$


It's given in the question that $n>1$. I'm assuming $n\in\mathbb Z$.

$x_n=\left(1+\frac{1}{n}\right)^n$ is strictly increasing. Proof: $x_n>0,$ $\forall n$.

$$\frac{x_{n+1}}{x_n}=\frac{n+2}{n+1}\left(1-\frac{1}{(n+1)^2}\right)^n>$$

By Bernoulli's inequality:

$$>\frac{n+2}{n+1}\left(1-\frac{n}{(n+1)^2}\right)=$$

$$=\frac{n^3+3n^2+3n+2}{n^3+3n^2+3n+1}>1$$

By Binomial theorem: $$\left(1+\frac{1}{n}\right)^n=1+\frac{1}{n}+\frac{n(n-1)}{2!}\left(\frac{1}{n}\right)^2+$$

$$+\frac{n(n-1)(n-2)}{3!}\left(\frac{1}{n}\right)^3+\cdots+\left(\frac{1}{n}\right)^n<$$

$$<1+1+\frac{1}{2!}+\frac{1}{3!}+\cdots+\frac{1}{n!}<$$

$$<1+1+\frac{1}{2}+\frac{1}{2\cdot 3}+$$

$$+\frac{1}{3\cdot 4}+\cdots+\frac{1}{(n-1)n}=$$

Use the formula/identity $\frac{1}{(k-1)k}=\frac{1}{k-1}-\frac{1}{k}$, $\forall k$, $k\neq 0$, $k\neq 1$.

$$=1+1+1-\frac{1}{2}+\frac{1}{2}-\frac{1}{3}+$$

$$+\frac{1}{3}-\frac{1}{4}+\cdots+\frac{1}{n-1}-\frac{1}{n}=$$

$$=3-\frac{1}{n}<3$$

Therefore $x_n$ converges. $e$ is sometimes defined as:

$$\lim_{n\to +\infty} x_n=e$$

$y_n=\left(1+\frac{1}{n}\right)^{n+1}$ is strictly decreasing. Proof: $y_n>0,$ $\forall n$.

$$\frac{y_{n-1}}{y_n}=\frac{n}{n+1}\left(1+\frac{1}{n^2-1}\right)^n>$$

By Bernoulli's inequality:

$$>\frac{n}{n+1}\left(1+\frac{n}{n^2-1}\right)=$$

$$=\frac{n^3+n^2-n}{n^3+n^2-n-1}>1$$

because $n^3+n^2-n-1>0$ because $n^3>n$, $n^2>n$, $n>1$.

$$\lim_{n\to +\infty}y_n=\lim_{n\to +\infty}\left(x_n\left(1+\frac{1}{n}\right)\right)=$$

$$=e(1+0)=e$$

$$x_n<e<y_n$$

$$\ln x_n< 1<\ln y_n$$

$$n\ln\left(1+\frac{1}{n}\right)<1<(n+1)\ln\left(1+\frac{1}{n}\right)$$

$$\frac{1}{n+1}<\ln\left(1+\frac{1}{n}\right)<\frac{1}{n}$$