About $\lim \left(1+\frac {x}{n}\right)^n$

Question

I was wondering if it is possible to get a link to a rigorous proof that $$\displaystyle \lim_{n\to\infty} \left(1+\frac {x}{n}\right)^n=\exp x$$

Answer 1

$ (1+x/n)^n = \sum_{k=0}^n \binom{n}{k}\frac{x^k}{n^k} $

Now just prove that $\binom{n}{k}\frac{x^k}{n^k}$ approaches $\frac{x^k}{k!}$ as n approaches infinity, and you will have proven that your limit matches the Taylor series for $\exp(x)$

Answer 2

This one of the ways in which it is defined. The equivalence of the definitions can be proved easily, I guess. If for example you take the exponential function to be the inverse of the logarithm:

$\log(\lim_n(1 + \frac{x}{n})^n) = \lim_n n \log(1 + \frac{x}{n}) = \lim_n n \cdot[\frac{x}{n} - \frac{x^2}{2n^2} + \dots] = x$

EDIT: The logarithm is defined as usual: $\log x = \int_1^x \frac{dt}{t}$. The first identity follows from the continuity of the logarithm, the second it's just an application of one of the property of the logarithm ($\log a^b = b \log a $), while to obtain the third it sufficies to have the Taylor expansion of $\log(1+x)$.

Answer 3

From the very definition (one of many, I know):

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

we can try the following, depending on what you have read so far in this subject:

(1) Deduce that

$$e=\lim_{n\to\infty}\left(1+\frac{1}{f(n)}\right)^{f(n)}\;,\;\;\text{as long as}\;\;f(n)\xrightarrow[n\to\infty]{}\infty$$

and then from here ($\,x\neq0\,$ , but this is only a light technicality)

$$\left(1+\frac{x}{n}\right)^n=\left[\;\left(1+\frac{1}{\frac{n}{x}}\right)^\frac{n}{x}\;\right]^x\xrightarrow[n\to\infty]{}e^x$$

2) For $\,x>0\,$ , substitute $\,mx=n\,$ . Note that $\,n\to\infty\implies m\to\infty\,$ , and

$$\left(1+\frac{x}{n}\right)^n=\left(\left(1+\frac{1}{m}\right)^m\right)^x\xrightarrow[n\to\infty\iff m\to\infty]{}e^x$$

I'll leave it to you to work out the case $\,x<0\,$ (hint: arithmetic of limits and "going" to denominators)

Answer 4

Firstly, let us give a definition to the exponential function, so we know the function has various properties:

$$ \exp(x) := \sum_{n=0}^{\infty} \frac{x^n}{n!}$$

so that we can prove that (as exp is a power series) :

• The exponential function has radius of convergence $\infty$, and is thus defined on all of $\mathbb R$
• As a power series is infinitely differentiable inside its circle of convergence, the exponential function is infinitely differentiable on all of $\mathbb R$
• We can then prove that the function is strictly increasing, and thus by the inverse function theorem (http://en.wikipedia.org/wiki/Inverse_function_theorem) we can define what we know as the "log" function

Knowing all of this, here is hopefully a sufficiently rigorous proof (at least for positive a):

As $\log(x)$ is continuous and differentiable on $(0,\infty)$, we have that $\log(1+x)$ is continuous and differentiable on $[0,\frac{a}{n}]$, so by the mean value theorem we know there exists a $c \in [0,\frac{a}{n}]$ with

$$f'(c) = \frac {\log(1+ \frac{a}{n} ) - \log(1)} {\frac {a}{n} - 0 } $$ $$ \Longrightarrow \log[{(1+\frac{a}{n})^n}] = \frac{a}{1+c}$$ $$ \Longrightarrow (1+\frac{a}{n})^n = \exp({\frac{a}{1+c}})$$

for some $c \in [0,\frac{a}{n}]$ . As we then want to take the limit as $n \rightarrow \infty$, we get that:

• As $c \in [0,\frac{a}{n}]$ and $\frac{a}{n} \rightarrow 0$ as $n \rightarrow \infty$, by the squeeze theorem we get that $ c \rightarrow 0$ as $n \rightarrow \infty$
• As $ c \rightarrow 0$ as $n \rightarrow \infty$, $\frac{a}{1+c} \rightarrow a$ as $n \rightarrow \infty$
• As the exponential function is continuous on $\mathbb R$, the limit can pass inside the function, so we get that as $\frac{a}{1+c} \rightarrow a$ as $n \rightarrow \infty$

$$ \exp(\frac{a}{1+c}) \rightarrow \exp(a) $$ as $n \rightarrow \infty$. Thus we can conclude that

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

(Of course, this is ignoring that one needs to prove that $\exp(a)=e^a$, but this is hardly vital for this question)

Answer 5

Consider the functions $u$ and $v$ defined for every $|t|\lt\frac12$ by $$ u(t)=t-\log(1+t),\qquad v(t)=t-t^2-\log(1+t). $$ The derivative of $u$ is $u'(t)=\frac{t}{1+t}$, which has the sign of $t$, hence $u(t)\geqslant0$. The derivative of $v$ is $v'(t)=1-2t-\frac{1}{1+t}$, which has the sign of $(1+t)(1-2t)-1=-t(1+2t)$ which has the sign of $-t$ on the domain $|t|\lt\frac12$ hence $v(t)\leqslant0$. Thus:

For every $|t|\lt\frac12$, $$ t-t^2\leqslant\log (1+t)\leqslant t. $$

The function $z\mapsto\exp(nz)$ is nondecreasing on the same domain hence $$ \exp\left(nt-nt^2\right)\leqslant(1+t)^n\leqslant\exp\left(nt\right). $$ In particular, using this for $t=x/n$, one gets:

For every $|x|<\frac12n$, $$ \exp\left(x-\frac{x^2}{n}\right)\leqslant\left(1+\frac{x}n\right)^n\leqslant\mathrm e^x. $$

Finally, $x^2/n\to 0$ when $n\to\infty$ and the exponential is continuous at $0$, hence we are done.

Facts/Definitions used:

• The logarithm has derivative $t\mapsto1/t$.
• The exponential is the inverse of the logarithm.

Answer 6

For any fixed value of $x$, define

$$f(u)= {\ln(1+ux)\over u}$$

By L'Hopital's Rule,

$$\lim_{u\rightarrow0^+}f(u)=\lim_{u\rightarrow0^+}{x/(1+ux)\over1}=x$$

Now exponentiate $f$:

$$e^{f(u)}=(1+ux)^{1/u}$$

By continuity of the exponential function, we have

$$\lim_{u\rightarrow0^+}(1+ux)^{1/u}=\lim_{u\rightarrow0^+}e^{f(u)}=e^{\lim_{u\rightarrow0^+}f(u)}=e^x$$

All these limits have been shown to exist for the (positive) real variable $u$ tending to $0$, hence they must exist, and be the same, for the sequence of reciprocals of integers, $u=1/n$, as $n$ tends to infinity, and the result follows:

$$\lim_{n\rightarrow\infty}\left(1+{x\over n}\right)^n = e^x$$

Answer 7

There is at most one function $g$ on $\mathbb{R}$ such that $$g'(x)=g(x)\text{ for all } x\text{ in }\mathbb{R}\quad\text{and}\quad g(0)=1\,.$$ If you let $f_n(x)=(1+x/n)^n$ and you can demonstrate that it compactly converges to some function $f$, you can demonstrate that $f'(x)=f(x)$ and $f(0)=1$. Likewise, if you take $f_n(x)=\sum_{k=0}^n x^k/k!$ and demonstrate this sequence converges compactly, you can show that this limit satisfies the same conditions. Thus it doesn't matter what your definition is. The uniqueness criterion is what you should probably have in mind when you think of "the exponential".

Answer 8

Let $t\in[1,1+\frac{1}{n}]$, and we have: $$\frac{1}{1+\frac{1}{n}}\leq \frac{1}{t}\leq 1$$ $$\int_1^{1+\frac{x}{n}}\frac{1}{1+\frac{1}{n}}dt\leq \int_1^{1+\frac{x}{n}}\frac{1}{t}\leq \int_1^{1+\frac{x}{n}} 1dt$$ $$\frac{x}{n+1}\leq \ln\Big(1+\frac{x}{n}\Big)\leq\frac{x}{n}$$ Since $e^x$ is increasing on $\mathbb{R}$, we have: $$e^{\frac{x}{n+1}}\leq 1+\frac{x}{n}\leq e^{\frac{x}{n}}$$ Since $x^n$ is increasing on $(0,\infty)$, on the RHS we have: $$\Big(1+\frac{x}{n}\Big)^n\leq e^x$$ On the LHS we have: $$e^x\leq \Big(1+\frac{x}{n}\Big)^{n+1} \ \ \Longrightarrow \ \ \frac{e^x}{1+\frac{x}{n}}\leq \Big(1+\frac{x}{n}\Big)^n$$ Then we have: $$\frac{e^x}{1+\frac{x}{n}}\leq \Big(1+\frac{1}{n}\Big)^n\leq e^x$$ As $n\to\infty$ we know $\Big\{\displaystyle\frac{e^x}{1+\frac{x}{n}}\Big\}\to e^x$. So, by Squeeze Theorem, we have proved the limit.

Answer 9

Start with the binomial theorem: $$\lim_{n\to\infty}\left(1+\frac{x}{n}\right)^n=\lim_{n\to\infty}\sum_{m=0}^n\frac{n!}{m!(n-m)!}\frac{x^m}{n^m}=\lim_{n\to\infty}\sum_{m=0}^n\frac{n!}{n^m(n-m)!}\frac{x^m}{m!}.$$ Define $$f(\mu,\nu)=\sum_{m=0}^{\nu}\frac{\mu!}{\mu^m(\mu-m)!}\frac{x^m}{m!}.$$ Thus you need to prove $$\lim_{n\to\infty}f(n,n)=\lim_{n\to\infty}\sum_{m=0}^n\frac{x^m}{m!},$$ which amounts to proving that $$\lim_{n\to\infty}f(n,n)=\lim_{\nu\to\infty}\left[\lim_{\mu\to\infty}f(\mu,\nu)\right]$$ and $$\forall{m\in\mathbb{N}},\lim_{\mu\to\infty}\frac{\mu!}{\mu^m(\mu-m)!}=1.$$ The latter can be proven rather easily using the principle of induction. The former follows immediately from the Tannery's theorem. With this done, we have that $$\lim_{n\to\infty}\sum_{m=0}^n\frac{n!}{n^m(n-m)!}\frac{x^m}{m!}=\lim_{\nu\to\infty}\left(\sum_{m=0}^{\nu}\left[\lim_{\mu\to\infty}\frac{\mu!}{\mu^m(\mu-m)!}\right]\frac{x^m}{m!}\right)=\lim_{\nu\to\infty}\sum_{m=0}^{\nu}\frac{x^m}{m!}:=\exp(x).$$ Even if the definition of $\exp$ you are using is not via its Maclaurin series, any other definition can be easily proven from Maclaurin series rather easily.

Answer 10

Not a rigorous but still a proof.

$\displaystyle \lim_{n \to \infty} \left(1+ \frac{x}{n} \right)^n = [1^ \infty]$ - uncertainty

Let $\displaystyle \lim_{x \to x_o}u(x)=1$ and $\displaystyle \lim_{x\to x_o}V(x)=\infty$, then

$\displaystyle \lim_{x \to x_o}u^V=\lim_{x \to x_o}\Big[ \Big(1+(u-1) \Big)^{\frac{1}{u-1}}\space \Big]^{(u-1)V}=e^{\displaystyle\lim_{x\to x_o}(u-1)V}$

Now let's apply what we got above to our problem. Here $ \{ u(n) = 1+\frac{x}{n}\} \to 1 $ and $\{V(n)=n\} \to \infty$ as $n\to \infty$.

$\displaystyle \lim_{n \to \infty} \left(1+ \frac{x}{n} \right)^n = [1^ \infty] = \exp \left[ \lim_{n\to \infty}\left(1+\frac{x}{n}-1 \right)n \right] = \exp \left[ \lim_{n\to \infty} \left( \frac{x}{n} \cdot n \right) \right] = \exp \left[ \lim_{n\to \infty}x \right] = \exp (x) = e^x$