4
$\begingroup$

This is an exercise that a friend of mine asked to me this afternoon.

Show that $\lim_{n\rightarrow \infty}\big[\frac{n^{n+1}+(n+1)^{n}}{n^{n+1}}\big]^{n}=e^{e}.$ All we have done was elementary manipulations, but we got stuck.

I would appreciate any help.

2 Answers 2

4

Define $u_n=(1+\frac{1}{n})^n$.

$$\left(1+\frac{1}{n}\color{Blue}{\left(1+\frac{1}{n}\right)^n}\right)^n $$

$$=\left(1+\frac{1}{n}\color{Blue}{u_n}\right)^n$$

$$=\exp\left(n\log\left(1+\frac{u_n}{n}\right)\right)$$

$$=\exp\left(u_n+\mathcal{O}\left(\frac{1}{n}\right)\right)$$

The $\mathcal{O}(n^{-1})$ term drops to $0$ and $u_n\to e$ in the limit, so the value sought is $\exp (e) = e^e$.

6

Using the fact that

$$\lim_{x \to 0} (1+x)^{1/x} = e$$

we can show that if $c_n \to c \neq 0$ then

$$\left(1 + \frac{c_n}{n}\right)^n = \left(\left(1+ \frac{c_n}{n}\right)^{\dfrac{n}{c_n}}\right)^{c_n} \to e^c$$

In your case $c_n = (1 + \frac{1}{n})^n$

  • 0
    This might even be true if $c = 0$, but we don't require it for this problem.2012-02-10
  • 0
    I think you want the $c_n$ to be nonzero...2012-02-10
  • 0
    @DavidMitra: No $c \neq 0$ is enough, as for sufficiently large $n$, $|c_n - c| \lt |c|/2$. We don't care if some $c_n$ terms become zero, as ultimately there are all non-zero.2012-02-10
  • 0
    Ah, sorry. Not sure what I was thinking.2012-02-10