7
$\begingroup$

I can show that $\displaystyle a_n=\left(n\cdot \ln\left(\frac{n+1}{n}\right)\right)^n\rightarrow \frac{1}{\sqrt{e}}$ by expressing it as $\displaystyle e^{\ln(a_n)}$, but this ends up very tedious. What is an easier way to compute this limit?

Thanks!

Edit This is a sequence, so I mean the limit as $\displaystyle n\rightarrow \infty$.

  • 0
    @Aryabhata my mistake. I tagged based on one of the answers not based on the question. Thanks for the feedback.2012-02-26

3 Answers 3

5

Asymptotics

$\begin{align} a_n &= \left(n\cdot \ln\left(\frac{n+1}{n}\right)\right)^n = \left(n\cdot \ln\left(1+\frac{1}{n}\right)\right)^n = \left(n\cdot \left(\frac{1}{n}-\frac{1}{2n^2}+o\left(\frac{1}{n^2}\right)\right)\right)^n \\ &= \left(1-\frac{1}{2n}+o\left(\frac{1}{n}\right)\right)^n = \left(\left(1-\frac{1}{n}+o\left(\frac{1}{n}\right)\right)^{1/2}\right)^{n} = \left(\left(1-\frac{1}{n}+o\left(\frac{1}{n}\right)\right)^n\right)^{1/2} \\ &= \left(\left(e^{-1/n}+o\left(\frac{1}{n}\right)\right)^n\right)^{1/2} = (e^{-1}+o(1))^{1/2} =e^{-1/2}+o(1) . \end{align}$

  • 0
    We can simplify the proof a little if we use: If $c_n \to c$, then $(1 + \frac{c_n}{n})^n \to e^c$. Now $1 - \frac{1}{2n} + o(\frac{1}{n}) = 1 + \frac{c_n}{n}$ where $c_n \to -\frac{1}{2}$.2012-02-26
2

Or a little bit more explicit, based on the Taylor expansion of $\log$, the following inequalities hold for $n \geq 2$:

$ \left(1-\frac{1}{2n}\right)^n \leq a_n \leq \left(1-\frac{1}{2n}+\frac{1}{3n^2}\right)^n \leq \left(1-\frac{1}{2(n+1)}\right)^n $

and both sides have limit $e^{-1/2}$.

  • 0
    Use `\left(` and `\right)` to get this $\left(\frac{\log x}{1-x^2}\right)$ instead of this $(\frac{\log x}{1-x^2})$2012-03-06
0

You can also use the Trapezoidal rule to approximate $ \ln \left(\frac{n+1}{n} \right)=\int_n^{n+1}{\frac{1}{x}}dx=\frac{1}{2}\left(\frac{1}{n+1}+\frac{1}{n}\right)+\mathcal{O}\left(\frac{1}{n^3}\right) $ Exponentiating and multiplying by $n^n$ yields $ n^n \ln \left(\frac{n+1}{n}\right)^n=\left[\left(\frac{2n+1}{2n+2}\right)+\mathcal{O}\left(\frac{1}{n^2}\right)\right]^n=\left(1-\frac{1}{2n}+\mathcal{o}\left(\frac{1}{n}\right)\right)^n=e^{-\frac{1}{2}}+\mathcal{o}(1) $ (The last equal sign is already given in the answer of GEdgar).

  • 0
    Use `\left(` and `\right)` to get this $\left(\frac{x-1}{x^2+1}\right)$ instead of this $(\frac{x-1}{x^2+1})$ Also use a slash \ before function names like: `\log`, `\sin`, `\exp`, to get $\log$, $\sin$, $\exp$ instead of $log$, $sin$, $exp$2012-03-06