next up previous contents
Next: Related facts about the Up: Calculus Lecture Notes Previous: The fundamental theorem of

More on limits

We know that as x tends to $+\infty$, the greater the exponent in xp, the faster xp tends to infinity, in the sense that if 0 < q < p then

\begin{displaymath}
\lim_{x\rightarrow+\infty}\frac{x^q}{x^p} = 0\end{displaymath}

We now intend to show that

\begin{displaymath}
\lim_{x\rightarrow+\infty}\frac{x}{e^x} = 0\end{displaymath}

From this it will follow that for any positive number p,

\begin{displaymath}
\lim_{x\rightarrow+\infty}\frac{x^p}{e^x} = 0\end{displaymath}

since

\begin{displaymath}
\frac{x^p}{e^x} = \left(\frac{x}{e^{x/p}}\right)^p
= p^p\left(\frac{x/p}{e^{x/p}}\right)^p\end{displaymath}

and x tends to infinity is the same as x/p tends to infinity since p > 0.

To show that

\begin{displaymath}
\lim_{x\rightarrow+\infty}\frac{x}{e^x} = 0\end{displaymath}

we will use the Funnel Theorem. We will show that for $x\geq 0$ that

\begin{displaymath}
1 + x + \frac{1}{2}x^2 \leq e^x.\end{displaymath}

This tells us that for x > 0 we have

\begin{displaymath}
0 \leq \frac{x}{e^x} \leq \frac{x}{(x^2/2) + x + 1}\end{displaymath}

Applying the Funnel Theorem to this inequality does the trick.

To get the inequality we need, first observe that the inequality is true when x = 0. Now consider what happens when x > 0. In this case, for $u\in[0,x]$ we have $1 \leq e^u$ so

\begin{displaymath}
\int_0^x 1 \;du \leq \int_0^x e^u\;du\end{displaymath}

Each of these integrals can be evaluated easily to get

\begin{displaymath}
x \leq e^x - e^0 = e^x - 1,\end{displaymath}

or

\begin{displaymath}
1 + x \leq e^x\end{displaymath}

for any positive real number x. Since this inequality also holds for x = 0 we have for any postive real number x, if $u\in[0,x]$ then

\begin{displaymath}
\int_0^x 1 + u \;du \leq \int_0^x e^u\;du\end{displaymath}

Employing the Fundamental Theorem of Calculus, we can evaluate these integrals to get

\begin{displaymath}
x + \frac{1}{2}x^2 - (0 + \frac{1}{2}0^2) \leq e^x - e^0\end{displaymath}

which is the same as

\begin{displaymath}
1 + x + \frac{1}{2}x^2 \leq e^x\end{displaymath}

just as we wished. Note that this process can be repeated to get for $x\geq 0$

\begin{displaymath}
\begin{array}
{rcl}
{\displaystyle 1 + x + \frac{1}{2}x^2 + ...
 ...rac{1}{6}x^3 + \cdots + \frac{1}{N!}x^N}& \leq & e^x\end{array}\end{displaymath}



 
next up previous contents
Next: Related facts about the Up: Calculus Lecture Notes Previous: The fundamental theorem of
David G Radcliffe
8/18/1998