3.7: L’Hôpital’s Rule
- Page ID
- 212029
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\(\newcommand{\longvect}{\overrightarrow}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)When taking limits of slopes of secant lines, \(\displaystyle m_{\mbox{sec}} = \frac{f(x+h) - f(x)}{h}\) as \(h \rightarrow 0\), we frequently encountered one difficulty: both the numerator and the denominator approached \(0\). And because the denominator approached \(0\), we could not apply the Main Limit Theorem. In many situations, however, we managed to get past this “\(\frac00\)” difficulty by using algebra or geometry or trigonometry to rewrite the expression and then take the limit. But there was no common approach or pattern. The algebraic steps we used to evaluate \(\displaystyle \lim_{h\to 0} \, \frac{(2+ h)^2-4}{h}\) seem quite different from the trigonometric steps needed for \(\displaystyle \lim_{h\to 0} \, \frac{\sin(2+ h)-\sin(2)}{h}\).
In this section we consider a single technique, called l’Hôpital’s Rule, that enables us to quickly and easily evaluate many limits of the form “\(\frac00\)” as well as several other challenging indeterminate forms. (Although discovered by Johann Bernoulli, this rule was named for the Marquis de l’Hôpital (pronounced low-pee-TALL), who published it in his 1696 calculus textbook, Analysis of the Infinitely Small for the Understanding of Curved Lines.)
A Linear Example
The graphs of two linear functions appear below:
![A red line y=f(x) passes through (4,2) and (5,0), and a blue line y=g(x) passes through (6,3) and (5,0) on a [0,6]X[-0.5,3.5] grid. Dashed line segments extend from (0,2) to (4,2), from (4,2) to (4,0), from (0,3) to (6,3), and from (6,3) to (6,0).](https://math.libretexts.org/@api/deki/files/140524/fig307_01.png?revision=1&size=bestfit&width=500&height=382)
and we want to find \(\displaystyle \lim_{x\to 5} \, \frac{f(x)}{g(x)}\). Unfortunately, \(\displaystyle \lim_{x\to 5} \, f(x) = 0\) and \(\displaystyle \lim_{x\to 5} \, g(x) = 0\) so we cannot apply the Main Limit Theorem. We do know, however, that \(f\) and \(g\) are linear, so we can calculate their slopes, and we know that they both lines go through the point \((5,0)\) so we can find their equations: \(f(x) = -2(x - 5)\) and \(g(x) = 3(x - 5)\).
Now the limit is easier to compute:\[ \lim_{x\to 5} \, \frac{f(x)}{g(x)} = \lim_{x\to 5} \, \frac{-2(x - 5)}{3(x - 5)} = \lim_{x\to 5} \, \frac{-2}{3} = -\frac23 = \frac{\mbox{slope of }f}{\mbox{slope of }g}\nonumber\]In fact, this pattern works for any two linear functions: If \(f\) and \(g\) are linear functions with slopes \(m \neq 0\) and \(n \neq 0\) and a common root at \(x = a\), then \(f(x) - f(a) = m(x - a)\) and \(g(x) - g(a) = n(x - a)\) so \(f(x) = m(x - a)\) and \(g(x) = n(x - a)\). Then:\[\lim_{x\to a} \, \frac{f(x)}{g(x)} = \lim_{x\to a} \, \frac{m(x - a)}{n(x - a)} = \lim_{x\to a} \, \frac{m}{n} = \frac{m}{n} = \frac{\mbox{slope of }f}{\mbox{slope of }g}\nonumber\]A more powerful result — that the same pattern holds true for differentiable functions even if they are not linear — is called l’Hôpital’s Rule.
If: \(f\) and \(g\) are differentiable at \(x = a\), \(f(a) = 0\), \(g(a) = 0\) and \(g'(a) \neq 0\)
then: \(\displaystyle \lim_{x\to a} \, \frac{f(x)}{g(x)} = \frac{f'(a)}{g'(a)} = \frac{\mbox{slope of }f\mbox{ at }a}{\mbox{slope of }g\mbox{ at }a}\)
Idea for a proof: Even though \(f\) and \(g\) may not be linear functions, they are differentiable. So at the point \(x = a\) they are “almost linear” in the sense that we can approximate them quite well using their tangent lines at that point:

Because \(f(a) = g(a) = 0\), \(f(x) \approx f(a) + f'(a)(x-a) = f'(a)(x-a)\) and \(g(x) \approx g(a) + g'(a)(x-a) = g'(a)(x-a)\). So:\[\lim_{x\to a}\, \frac{f(x)}{g(x)} \approx \lim_{x\to a}\, \frac{f'(a)(x-a)}{g'(a)(x-a)} = \lim_{x\to a}\, \frac{f'(a)}{g'(a)} = \frac{f'(a)}{g'(a)}\nonumber\]
(Unfortunately, we have ignored some subtle difficulties, such as \(g(x)\) or \(g'(x)\) possibly being \(0\) when \(x\) is close to, but not equal to, \(a\). Because of these issues, a full-fledged proof of l’Hôpital’s Rule is omitted.)
Determine \(\displaystyle \lim_{x\to 0}\, \frac{x^2 +\sin(5x)}{3x}\) and \(\displaystyle \lim_{x\to 1} \, \frac{\ln(x)}{e^x-e}\).
Solution
We could evaluate the first limit without l’Hôpital’s Rule, but let's use it anyway. We can match the pattern of l’Hôpital’s Rule by letting \(a = 0\), \(f(x) = x^2 + \sin(5x)\) and \(g(x) = 3x\). Then \(f(0) = 0\), \(g(0) = 0\), and \(f\) and \(g\) are differentiable with \(f'(x) = 2x + 5\cos(5x)\) and \(g'(x) = 3\), so:\[\lim_{x\to 0} \, \frac{x^2 + \sin(5x)}{3x} = \frac{f'(0)}{g'(0)} = \frac{2\cdot 0 + 5\cos(5\cdot 0)}{3} = \frac53\nonumber\]
For the second limit, let \(a = 1\), \(f(x) = \ln(x)\) and \(g(x) = e^x- e\). Then \(f(1) = 0\), \(g(1) = 0\), \(f\) and \(g\) are differentiable for \(x\) near \(1\) (when \(x > 0\)), and \(\displaystyle f'(x) = \frac{1}{x}\) and \(g'(x) = e^x\). Then:\[\lim_{x\to 1}\, \frac{\ln(x)}{e^x-e} = \frac{f'(1)}{g'(1)} = \frac{\frac11}{e^1} = \frac{1}{e}\nonumber\]Here no simplification was possible, so we needed l’Hôpital’s Rule.
Evaluate \(\displaystyle \lim_{x\to 0}\, \frac{1-\cos(5x)}{3x}\) and \(\displaystyle \lim_{x\to 2}\, \frac{x^2+x-6}{x^2+2x-8}\).
- Answer
-
Both numerator and denominator in the first limit are differentiable and both equal \(0\) when \(x = 0\), so we apply l’Hôpital’s Rule:\[\lim_{x\to 0}\, \frac{1-\cos(5x)}{3x} = \lim_{x\to 0}\, \frac{5\sin(5x)}{3} = \frac{0}{3} = 0\nonumber\]
Both numerator and denominator in the second limit are differentiable and both equal \(0\) when \(x = 0\), so we apply l’Hôpital’s Rule:\[\lim_{x\to 2}\, \frac{x^2+x-6}{x^2+2x-8} = \lim_{x\to 2}\, \frac{2x+1}{2x+2} = \frac{5}{6}\nonumber\]
Strong Version of l’Hôpital’s Rule
We can strengthen l’Hôpital’s Rule to include cases when \(g'(a) = 0\), and the indeterminate form “\(\frac{\infty}{\infty}\)” when \(f\) and \(g\) increase without bound.
If: \(f\) and \(g\) are differentiable on an open interval \(I\) containing \(a\), \(g'(x) \neq 0\) on \(I\) except possibly at \(a\), and \(\displaystyle \lim_{x\to a}\, \frac{f(x)}{g(x)} =\) “\(\displaystyle \frac00\)” or “\(\displaystyle \frac{\infty}{\infty}\)”
then: \(\displaystyle \lim_{x\to a}\, \frac{f(x)}{g(x)} = \lim_{x\to a}\, \frac{f'(x)}{g'(x)}\) if the limit on the right exists.
(Here “\(a\)” can represent a finite number or “\(\infty\).”)
Evaluate \(\displaystyle \lim_{x\to \infty}\, \frac{e^{7x}}{5x}\).
Solution
As “\(x \rightarrow \infty\),” both \(e^{7x}\) and \(5x\) increase without bound, so we have an “\(\frac{\infty}{\infty}\)” indeterminate form and can use the Strong Version of l’Hôpital’s Rule: \(\displaystyle \lim_{x\to \infty}\, \frac{e^{7x}}{5x} = \lim_{x\to \infty}\, \frac{7e^{7x}}{5} = \infty\).
The limit of \(\displaystyle \frac{f'}{g'}\) may also be an indeterminate form, in which case we can apply l’Hôpital’s Rule again to the ratio \(\displaystyle \frac{f'}{g'}\). We can continue using l’Hôpital’s Rule at each stage as long as we have an indeterminate quotient.
Compute \(\displaystyle \lim_{x\to 0}\, \frac{x^3}{x-\sin(x)}\).
Solution
As \(x\rightarrow 0\), \(f(x) = x^3 \rightarrow 0\) and \(g(x) = x - \sin(x) \rightarrow 0\) so:\[\lim_{x\to 0}\, \frac{x^3}{x-\sin(x)} = \lim_{x\to 0}\, \frac{3x^2}{1-\cos(x)} = \lim_{x\to 0}\, \frac{6x}{\sin(x)} = \lim_{x\to 0}\, \frac{6}{\cos(x)} = 6\nonumber\]where we have used l’Hôpital’s Rule three times in succession. (At each stage, you should verify the conditions for l’Hôpital’s Rule hold.)
Use l’Hôpital’s Rule to find \(\displaystyle \lim_{x\to \infty}\, \frac{x^2+e^x}{x^3+8x}\).
- Answer
-
Both numerator and denominator are differentiable and both become arbitrarily large as \(x\to\infty\), so we apply l’Hôpital’s Rule:\[\lim_{x\to \infty}\, \frac{x^2+e^x}{x^3+8x} = \lim_{x\to \infty}\, \frac{2x+e^x}{3x^2+8} = \lim_{x\to \infty}\, \frac{2+e^x}{6x} = \lim_{x\to \infty}\, \frac{e^x}{6} = \infty\nonumber\]
(Note that we needed to apply l’Hôpital’s Rule three times and that each stage involved an “\(\frac{\infty}{\infty}\)” indeterminate form.)
Which Function Grows Faster?
Sometimes we want to compare the asymptotic behavior of two systems or functions for large values of \(x\). L’Hôpital’s Rule can be useful in such situations. For example, if we have two algorithms for sorting names, and each algorithm takes longer and longer to sort larger collections of names, we may want to know which algorithm will accomplish the task more efficiently for really large collections of names.
Algorithm A requires \(n\cdot\ln(n)\) steps to sort \(n\) names and algorithm B requires \(n^{1.5}\) steps. Which algorithm will be better for sorting very large collections of names?
Solution
We can compare the ratio of the number of steps each algorithm requires, \(\displaystyle \frac{n\cdot\ln(n)}{n^{1.5}}\), and then take the limit of this ratio as \(n\) grows arbitrarily large: \(\displaystyle \lim_{n\to \infty}\, \frac{n\cdot\ln(n)}{n^{1.5}}\).
If this limit is infinite, we say that \(n\cdot\ln(n)\) “grows faster” than \(n^{1.5}\). If the limit is \(0\), we say that \(n^{1.5}\) grows faster than \(n\cdot\ln(n)\).
Because \(n\cdot\ln(n)\) and \(n^{1.5}\) both grow arbitrarily large when \(n\) becomes large, we can simplify the ratio to \(\displaystyle \frac{\ln(n)}{n^{0.5}}\) and then use l’Hôpital’s Rule:\[\lim_{n\to\infty}\, \frac{\ln(n)}{n^{0.5}} = \lim_{n\to \infty}\, \frac{\frac{1}{n}}{0.5n^{-0.5}} = \lim_{n\to\infty}\, \frac{2}{\sqrt{n}} = 0\nonumber\]We conclude that \(n^{1.5}\) grows faster than \(n\cdot\ln(n)\) so algorithm A requires fewer steps for really large sorts.
Algorithm A requires \(e^n\) operations to find the shortest path connecting \(n\) towns, while algorithm B requires \(100\cdot\ln(n)\) operations for the same task and algorithm C requires \(n^5\) operations. Which algorithm is best for finding the shortest path connecting a very large number of towns? The worst?
- Answer
-
Comparing A with \(e^n\) operations to B with \(100\cdot\ln(n)\) operations we can apply l’Hôpital’s Rule:\[\lim_{n\to\infty}\,\frac{e^n}{100\ln(n)} = \lim_{n\to\infty}\,\frac{e^n}{\frac{1}{n}} = \lim_{n\to\infty}\,\frac{n\cdot e^n}{100} = \infty\nonumber\]to show that B requires fewer operations than A.
Comparing B with \(100\ln(n)\) operations to C with \(n^5\) operations, we again apply l’Hôpital’s Rule:\[\lim_{n\to\infty}\,\frac{100\ln(n)}{n^5} = \lim_{n\to\infty}\,\frac{\frac{100}{n}}{5n^4} = \lim_{n\to\infty}\,\frac{20}{n^5} = 0\nonumber\]to show that B requires fewer operations than C. So B requires the fewest operations of the three algorithms.
Comparing A to C we must apply l’Hôpital’s Rule repeatedly: \begin{align*}\lim_{n\to\infty}\,\frac{e^n}{n^5} &= \lim_{n\to\infty}\,\frac{e^n}{5n^4} = \lim_{n\to\infty}\,\frac{e^n}{20n^3} = \lim_{n\to\infty}\,\frac{e^n}{60n^2}\\ &= \lim_{n\to\infty}\,\frac{e^n}{120n} = \lim_{n\to\infty}\,\frac{e^n}{120} = \infty\end{align*} So A requires more operations than C and thus A requires the most operations of the three algorithms.
Other Indeterminate Forms
We call “\(\frac00\)” an indeterminate form because knowing that \(f\) approaches \(0\) and \(g\) approaches \(0\) is not enough to determine the limit of \(\frac{f}{g}\), even if that limit exists. The ratio of a “small” number divided by a “small” number can be almost anything as three simple “\(\frac00\)” examples show:\[\lim_{x\to 0}\, \frac{3x}{x} = 3 \quad \mbox{while} \quad \lim_{x\to 0}\, \frac{x^2}{x} = 0 \quad \mbox{and} \quad \lim_{x\to 0}\, \frac{5x}{x^3} = \infty\nonumber\]
Similarly, “\(\frac{\infty}{\infty}\)” is an indeterminate form because knowing that \(f\) and \(g\) both grow arbitrarily large is not enough to determine the value of the limit of \(\frac{f}{g}\) or even if the limit exists:\[\lim_{x\to \infty}\, \frac{3x}{x} = 3 \quad \mbox{while} \quad \lim_{x\to \infty}\, \frac{x^2}{x} = \infty \quad \mbox{and} \quad \lim_{x\to \infty}\, \frac{5x}{x^3} = 0\nonumber\]
In addition to the indeterminate quotient forms “\(\frac00\)” and “\(\frac{\infty}{\infty}\)” there are several other “indeterminate forms.” In each case, the resulting limit depends not only on each function’s limit but also on how quickly each function approaches its limit.
- Product: If \(f\) approaches \(0\) and \(g\) grows arbitrarily large, the product \(f\cdot g\) has the indeterminate form “\(0\cdot\infty\).”
- Exponent: If \(f\) and \(g\) both approach \(0\), the function \(\displaystyle f^g\) has the indeterminate form “\(0^0\).”
- Exponent: If \(f\) approaches \(1\) and \(g\) grows arbitrarily large, the function \(\displaystyle f^g\) has the indeterminate form “\(1^\infty\).”
- Exponent: If \(f\) grows arbitrarily large and \(g\) approaches \(0\), the function \(\displaystyle f^g\) has the indeterminate form “\(\infty^0\).”
- Difference: If \(f\) and \(g\) both grow arbitrarily large, the function \(f - g\) has the indeterminate form “\(\infty - \infty\).”
Unfortunately, l’Hôpital’s Rule can only be used directly with an indeterminate quotient (\(\frac00\) or “\(\frac{\infty}{\infty}\)”), but we can algebraically manipulate these other forms into quotients and then apply l’Hôpital’s Rule.
Evaluate \(\displaystyle \lim_{x\to 0^{+}}\, x\cdot\ln(x)\).
Solution
This limit involves an indeterminate product (of the form “\(0\cdot -\infty\)”) but we need a quotient in order to apply l’Hôpital’s Rule. If we rewrite the product \(x\cdot\ln(x)\) as a quotient:\[\lim_{x\to 0^{+}}\, x\cdot\ln(x) = \lim_{x\to 0^{+}}\, \frac{\ln(x)}{\frac{1}{x}} = \lim_{x\to 0^{+}}\, \frac{\frac{1}{x}}{\frac{-1}{x^2}} = \lim_{x\to 0^{+}}\, -x = 0\nonumber\]results from applying the “\(\frac{\infty}{\infty}\)” version of l’Hôpital’s Rule.
To use l’Hôpital’s Rule on a product \(f\cdot g\) with indeterminate form “\(0\cdot\infty\),” first rewrite \(f\cdot g\) as a quotient: \(\displaystyle \frac{f}{\frac{1}{g}}\) or \(\displaystyle \frac{g}{\frac{1}{f}}\). Then apply l’Hôpital’s Rule.
Evaluate \(\displaystyle \lim_{x\to 0^{+}}\, x^x\).
Solution
This limit involves the indeterminate form \(0^0\). We can convert it to a product by recalling a property of exponential and logarithmic functions: for any positive number \(a\), \(\displaystyle a = e^{\ln(a)}\) so:\[f^g = e^{\ln\left(f^g\right)} = e^{g\cdot\ln(f)}\nonumber\]Applying this to \(x^x\):\[\lim_{x\to 0^{+}}\, x^x = \lim_{x\to 0^{+}}\, e^{\ln\left(x^x\right)} = \lim_{x\to 0^{+}}\, e^{x\cdot\ln(x)}\nonumber\]This last limit involves the indeterminate product \(x\cdot\ln(x)\). From the previous example we know that \(\displaystyle \lim_{x\to 0^{+}}\, x\cdot\ln(x) = 0\) so we can conclude that:\[\lim_{x\to 0^{+}}\, x^x = \lim_{x\to 0^{+}}\, e^{x\cdot\ln(x)} = e^{\lim_{x\to 0^{+}}\, x\cdot\ln(x)} = e^0 = 1\nonumber\]because the function \(f(u) = e^u\) is continuous everywhere.
To use l’Hôpital’s Rule on an expression involving exponents, \(f^g\) with the indeterminate form “\(0^0\),” “\(1^{\infty}\)” or “\(\infty^0\),” first convert it to an expression involving an indeterminate product by recognizing that \(\displaystyle f^g = e^{g\cdot\ln(f)}\) and then determining the limit of \(g\cdot\ln(f)\). The final result is \(\displaystyle e^{\mbox{limit of }g\cdot\ln(f)}\).
Evaluate \(\displaystyle \lim_{x\to\infty}\, \left(1 + \frac{a}{x}\right)^x\).
Solution
This expression has the form \(1^{\infty}\) so we first use logarithms to convert the problem into a limit involving a product:\[\lim_{x\to\infty}\, \left(1 + \frac{a}{x}\right)^x = \lim_{x\to\infty}\, e^{x\cdot\ln\left(1+\frac{a}{x}\right)}\nonumber\]so now we need to compute \(\displaystyle \lim_{x\to\infty}\, x\cdot\ln\left(1+\frac{a}{x}\right)\). This limit has the form “\(\infty\cdot0\)” so we now convert the product to a quotient:\[\lim_{x\to\infty}\, x\cdot\ln\left(1+\frac{a}{x}\right) = \lim_{x\to\infty}\, \frac{\ln\left(1+\frac{a}{x}\right)}{\frac{1}{x}}\nonumber\]This last limit has the form “\(\frac00\)” so we can finally apply l’Hôpital’s Rule:\[\lim_{x\to\infty}\, \frac{\ln\left(1+\frac{a}{x}\right)}{\frac{1}{x}} = \lim_{x\to\infty}\, \frac{\frac{\frac{-a}{x^2}}{1+\frac{a}{x}}}{\frac{-1}{x^2}} = \lim_{x\to\infty}\, \frac{a}{1+\frac{a}{x}} = \frac{a}{1} = a\nonumber\]and conclude that:\[\lim_{x\to\infty}\, \left(1 + \frac{a}{x}\right)^x = \lim_{x\to\infty}\, e^{x\cdot\ln\left(1+\frac{a}{x}\right)} = e^{\lim_{x\to\infty}\, x\cdot\ln\left(1+\frac{a}{x}\right)} = e^a\nonumber\]where we have again used the continuity of the function \(f(u) = e^{u}\).
Problems
In Problems 1–15, evaluate each limit. Be sure to justify any use of l’Hôpital’s Rule.
- \(\displaystyle \lim_{x\to 1}\, \frac{x^3-1}{x^2-1}\)
- \(\displaystyle \lim_{x\to 2}\, \frac{x^4-16}{x^5-32}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{\ln(1+3x)}{5x}\)
- \(\displaystyle \lim_{x\to \infty}\, \frac{e^x}{x^3}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{x\cdot e^x}{1-e^x}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{2^x-1}{x}\)
- \(\displaystyle \lim_{x\to \infty}\, \frac{\ln(x)}{x}\)
- \(\displaystyle \lim_{x\to \infty}\, \frac{\ln(x)}{\sqrt{x}}\)
- \(\displaystyle \lim_{x\to \infty}\, \frac{\ln(x)}{x^p}\) (\(p >0\))
- \(\displaystyle \lim_{x\to 0}\, \frac{e^{3x}-e^{2x}}{4x}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{1-\cos(3x)}{x^2}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{1-\cos(2x)}{x}\)
- \(\displaystyle \lim_{x\to a}\, \frac{x^m-a^m}{x^n-a^n}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{\cos(a+x)-\cos(a)}{x}\)
- \(\displaystyle \lim_{x\to 0}\, \frac{1-\cos(x)}{x\cdot\cos(x)}\)
- Find a value for \(p\) so that \(\displaystyle \lim_{x\to\infty}\, \frac{3x}{px+7} = 2\).
- Find a value for \(p\) so that \(\displaystyle \lim_{x\to 0}\, \frac{e^{px}-1}{3x} = 5\).
- The limit \(\displaystyle \lim_{x\to \infty}\, \frac{\sqrt{3x+5}}{\sqrt{2x-1}}\) has the indeterminate form “\(\frac{\infty}{\infty}\).” Why doesn't l’Hôpital’s Rule work with this limit? (Hint: Apply l’Hôpital’s Rule twice and see what happens.) Evaluate the limit without using l’Hôpital’s Rule.
-
- Evaluate \(\displaystyle \lim_{x\to \infty}\,\frac{e^x}{x}\), \(\displaystyle \lim_{x\to \infty}\,\frac{e^x}{x^2}\) and \(\displaystyle \lim_{x\to \infty}\,\frac{e^x}{x^5}\).
- An algorithm is “exponential” if it requires \(a\cdot e^{bn}\) steps (\(a\), and \(b\) are positive constants). An algorithm is “polynomial” if it requires \(c\cdot n^d\) steps. (\(c\) and \(d\) are positive constants). Show that polynomial algorithms require fewer steps than exponential ones for large values of \(n\).
- The problem \(\displaystyle \lim_{x\to 0}\,\frac{x^2}{3x^2+x}\) appeared on a test. One student determined the limit was an indeterminate “\(\frac00\)” form and applied l’Hôpital’s Rule to get:\[\lim_{x\to 0}\,\frac{x^2}{3x^2+x} = \lim_{x\to 0}\,\frac{2x}{6x+1} = \lim_{x\to 0}\,\frac{2}{6} = \frac13\nonumber\]Another student also determined the limit was an indeterminate “\(\frac00\)” form and wrote:\[\lim_{x\to 0}\,\frac{x^2}{3x^2+x} = \lim_{x\to 0}\,\frac{2x}{6x+1} = \frac{0}{0+1} = 0\nonumber\]Which student is correct? Why?
In Problems 21–30, evaluate each limit. Be sure to justify any use of l’Hôpital’s Rule.
- \(\displaystyle \lim_{x\to 0^{+}}\, \sin(x)\cdot\ln(x)\)
- \(\displaystyle \lim_{x\to \infty}\, x^3 e^{-x}\)
- \(\displaystyle \lim_{x\to 0^{+}}\, \sqrt{x}\cdot\ln(x)\)
- \(\displaystyle \lim_{x\to 0^{+}}\, x^{\sin(x)}\)
- \(\displaystyle \lim_{x\to \infty}\, \left(1-\frac{3}{x^2}\right)^x\)
- \(\displaystyle \lim_{x\to 0}\, \left(1-\cos(3x)\right)^x\)
- \(\displaystyle \lim_{x\to 0}\, \left(\frac{1}{x}-\frac{1}{\sin(x)}\right)\)
- \(\displaystyle \lim_{x\to \infty}\, \left[x-\ln(x)\right]\)
- \(\displaystyle \lim_{x\to \infty}\, \left(\frac{x+5}{x}\right)^{\frac{1}{x}}\)
- \(\displaystyle \lim_{x\to \infty}\, \left(1+\frac{3}{x}\right)^{\frac{2}{x}}\)

