Find $\lim_{n \to \infty} \left[\frac{(n+1)^{n + 1}}{n^n} - \frac{n^{n}}{(n-1)^{n-1}} \right]$ (a question asked at trivia)

Mean value theorem approach: Define

$$f(x) = \frac{(x+1)^{x+1}}{x^x}.$$

Logarithmic differentiation shows

$$\tag 1 f'(x) = \frac{(x+1)^{x+1}}{x^x}\ln (1+1/x) = (1+1/x)^x(x+1)\ln (1+1/x).$$

We want the limit of $f(x)-f(x-1).$ By the MVT and $(1),$ this difference equals

$$(1+1/c)^c(c+1)\ln (1+1/c)\cdot 1$$

for some $c=c_x \in (x-1,x).$ As $x\to \infty,$ $c_x\to \infty.$ Now we know $(1+1/c)^c \to e,$ and verifying $(c+1)\ln (1+1/c) \to 1$ is standard. The desired limit is therefore $e.$


Here, we present a rigorous development that is based on asymptotic expansions. Proceeding, we have

$$\begin{align} \frac{(n+1)^{n + 1}}{n^n} - \frac{n^{n}}{(n-1)^{n-1}}&=(n+1)\left(1+\frac{1}{n}\right)^n-n\frac{1}{\left(1-\frac1n\right)^{n-1}}\\\\ &=(n+1)e^{n\log\left(1+\frac{1}{n}\right)}-ne^{-(n-1)\log\left(1-\frac{1}{n}\right)}\\\\ &=(n+1)e^{1-\frac{1}{2n}+O\left(\frac1{n^2}\right)}-ne^{1-\frac1{2n}+O\left(\frac{1}{n^2}\right)}\\\\ &=e\left(n+\frac12+O\left(\frac{1}{n}\right)\right)-e\left(n-\frac12+O\left(\frac1n\right)\right)\\\\ &=e+O\left(\frac1n\right) \end{align}$$

Taking the limit as $n\to \infty$, we have

$$\lim_{n\to \infty}\left(\frac{(n+1)^{n + 1}}{n^n} - \frac{n^{n}}{(n-1)^{n-1}}\right)=e$$


We can see that $$A = \frac{(n + 1)^{n + 1}}{n^{n}} = \exp((n + 1)\log (n + 1) - n \log n) = \exp(\log n + (n + 1)\log(1 + 1/n))$$ and similarly $$B = \frac{n^{n}}{(n - 1)^{n - 1}} = \exp(\log n - (n - 1)\log(1 - 1/n))$$ and subtracting we get $$A - B = e^{a} - e^{b} = e^{b}(e^{a - b} - 1) = e^{b}\cdot\frac{e^{a - b} - 1}{a - b}\cdot (a - b)$$ where \begin{align} a - b &= (n + 1)\log(1 + 1/n) + (n - 1)\log(1 - 1/n)\notag\\ & = \log(1 + 1/n) - \log(1 - 1/n) + n\log(1 - 1/n^{2})\notag \end{align} which shows that $a - b \to 0$ and therefore $(e^{a - b} - 1)/(a - b) \to 1$. Moreover we know that $B/n = e^{b}/n \to e$. The desired limit is given by $$\lim_{n \to \infty}e^{b}(a - b) = \lim_{n\to\infty}\frac{B}{n}\cdot n(a - b)$$ and clearly $n(a - b) \to 1$ so that the overall limit is $e$.


In the above we have used the following facts $$e = \lim_{n \to \infty}\left(1 + \frac{1}{n}\right)^{n}, \lim_{x \to 0}\frac{\log(1 + x)}{x} = 1$$