4.8 L’Hôpital’s Rule

Learning Objectives

  • Recognize when to apply L’Hôpital’s rule.
  • Identify indeterminate forms produced by quotients, products, subtractions, and powers, and apply L’Hôpital’s rule in each case.
  • Describe the relative growth rates of functions.

In this section, we examine a powerful tool for evaluating limits. This tool, known as L’Hôpital’s rule, uses derivatives to calculate limits. With this rule, we will be able to evaluate many limits we have not yet been able to determine. Instead of relying on numerical evidence to conjecture that a limit exists, we will be able to show definitively that a limit exists and to determine its exact value.

Applying L’Hôpital’s Rule

L’Hôpital’s rule can be used to evaluate limits involving the quotient of two functions. Consider

[latex]\underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}.[/latex]

If [latex]\underset{x\to a}{\text{lim}}f(x)={L}_{1}\text{ and }\underset{x\to a}{\text{lim}}g(x)={L}_{2}\ne 0,[/latex] then

[latex]\underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}=\frac{{L}_{1}}{{L}_{2}}.[/latex]

However, what happens if [latex]\underset{x\to a}{\text{lim}}f(x)=0[/latex] and [latex]\underset{x\to a}{\text{lim}}g(x)=0?[/latex] We call this one of the indeterminate forms, of type [latex]\frac{0}{0}.[/latex] This is considered an indeterminate form because we cannot determine the exact behavior of [latex]\frac{f(x)}{g(x)}[/latex] as [latex]x\to a[/latex] without further analysis. We have seen examples of this earlier in the text. For example, consider

[latex]\underset{x\to 2}{\text{lim}}\frac{{x}^{2}-4}{x-2}\text{ and }\underset{x\to 0}{\text{lim}}\frac{ \sin x}{x}.[/latex]

For the first of these examples, we can evaluate the limit by factoring the numerator and writing

[latex]\underset{x\to 2}{\text{lim}}\frac{{x}^{2}-4}{x-2}=\underset{x\to 2}{\text{lim}}\frac{(x+2)(x-2)}{x-2}=\underset{x\to 2}{\text{lim}}(x+2)=2+2=4.[/latex]

For [latex]\underset{x\to 0}{\text{lim}}\frac{ \sin x}{x}[/latex] we were able to show, using a geometric argument, that

[latex]\underset{x\to 0}{\text{lim}}\frac{ \sin x}{x}=1.[/latex]

Here we use a different technique for evaluating limits such as these. Not only does this technique provide an easier way to evaluate these limits, but also, and more important, it provides us with a way to evaluate many other limits that we could not calculate previously.

The idea behind L’Hôpital’s rule can be explained using local linear approximations. Consider two differentiable functions [latex]f[/latex] and [latex]g[/latex] such that [latex]\underset{x\to a}{\text{lim}}f(x)=0=\underset{x\to a}{\text{lim}}g(x)[/latex] and such that [latex]{g}^{\prime }(a)\ne 0[/latex] For [latex]x[/latex] near [latex]a,[/latex] we can write

[latex]f(x)\approx f(a)+{f}^{\prime }(a)(x-a)[/latex]

and

[latex]g(x)\approx g(a)+{g}^{\prime }(a)(x-a).[/latex]

Therefore,

[latex]\frac{f(x)}{g(x)}\approx \frac{f(a)+{f}^{\prime }(a)(x-a)}{g(a)+{g}^{\prime }(a)(x-a)}.[/latex]
Two functions y = f(x) and y = g(x) are drawn such that they cross at a point above x = a. The linear approximations of these two functions y = f(a) + f’(a)(x – a) and y = g(a) + g’(a)(x – a) are also drawn.

Figure 1. If [latex]\underset{x\to a}{\text{lim}}f(x)=\underset{x\to a}{\text{lim}}g(x),[/latex] then the ratio [latex]f(x)\text{/}g(x)[/latex] is approximately equal to the ratio of their linear approximations near [latex]a.[/latex]

Since [latex]f[/latex] is differentiable at [latex]a,[/latex] then [latex]f[/latex] is continuous at [latex]a,[/latex] and therefore [latex]f(a)=\underset{x\to a}{\text{lim}}f(x)=0.[/latex] Similarly, [latex]g(a)=\underset{x\to a}{\text{lim}}g(x)=0.[/latex] If we also assume that [latex]{f}^{\prime }[/latex] and [latex]{g}^{\prime }[/latex] are continuous at [latex]x=a,[/latex] then [latex]{f}^{\prime }(a)=\underset{x\to a}{\text{lim}}{f}^{\prime }(x)[/latex] and [latex]{g}^{\prime }(a)=\underset{x\to a}{\text{lim}}{g}^{\prime }(x).[/latex] Using these ideas, we conclude that

[latex]\underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}=\underset{x\to a}{\text{lim}}\frac{{f}^{\prime }(x)(x-a)}{{g}^{\prime }(x)(x-a)}=\underset{x\to a}{\text{lim}}\frac{{f}^{\prime }(x)}{{g}^{\prime }(x)}.[/latex]

Note that the assumption that [latex]{f}^{\prime }[/latex] and [latex]{g}^{\prime }[/latex] are continuous at [latex]a[/latex] and [latex]{g}^{\prime }(a)\ne 0[/latex] can be loosened. We state L’Hôpital’s rule formally for the indeterminate form [latex]\frac{0}{0}.[/latex] Also note that the notation [latex]\frac{0}{0}[/latex] does not mean we are actually dividing zero by zero. Rather, we are using the notation [latex]\frac{0}{0}[/latex] to represent a quotient of limits, each of which is zero.

L’Hôpital’s Rule (0/0 Case)

Suppose [latex]f[/latex] and [latex]g[/latex] are differentiable functions over an open interval containing [latex]a,[/latex] except possibly at [latex]a.[/latex] If [latex]\underset{x\to a}{\text{lim}}f(x)=0[/latex] and [latex]\underset{x\to a}{\text{lim}}g(x)=0,[/latex] then

[latex]\underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}=\underset{x\to a}{\text{lim}}\frac{{f}^{\prime }(x)}{{g}^{\prime }(x)},[/latex]

assuming the limit on the right exists or is [latex]\infty [/latex] or [latex]\text{−}\infty .[/latex] This result also holds if we are considering one-sided limits, or if [latex]a=\infty \text{ and }-\infty .[/latex]

Proof

We provide a proof of this theorem in the special case when [latex]f,g,{f}^{\prime },[/latex] and [latex]{g}^{\prime }[/latex] are all continuous over an open interval containing [latex]a.[/latex] In that case, since [latex]\underset{x\to a}{\text{lim}}f(x)=0=\underset{x\to a}{\text{lim}}g(x)[/latex] and [latex]f[/latex] and [latex]g[/latex] are continuous at [latex]a,[/latex] it follows that [latex]f(a)=0=g(a).[/latex] Therefore,

[latex]\begin{array}{ccccc}\hfill \underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}& =\underset{x\to a}{\text{lim}}\frac{f(x)-f(a)}{g(x)-g(a)}\hfill & & & \text{since}f(a)=0=g(a)\hfill \\ & =\underset{x\to a}{\text{lim}}\frac{\frac{f(x)-f(a)}{x-a}}{\frac{g(x)-g(a)}{x-a}}\hfill & & & \text{algebra}\hfill \\ & =\frac{\underset{x\to a}{\text{lim}}\frac{f(x)-f(a)}{x-a}}{\underset{x\to a}{\text{lim}}\frac{g(x)-g(a)}{x-a}}\hfill & & & \text{limit of a quotient}\hfill \\ & =\frac{{f}^{\prime }(a)}{{g}^{\prime }(a)}\hfill & & & \text{definition of the derivative}\hfill \\ & =\frac{\underset{x\to a}{\text{lim}}{f}^{\prime }(x)}{\underset{x\to a}{\text{lim}}{g}^{\prime }(x)}\hfill & & & \text{continuity of}{f}^{\prime }\text{ and }{g}^{\prime }\hfill \\ & =\underset{x\to a}{\text{lim}}\frac{{f}^{\prime }(x)}{{g}^{\prime }(x)}.\hfill & & & \text{limit of a quotient}\hfill \end{array}[/latex]

Note that L’Hôpital’s rule states we can calculate the limit of a quotient [latex]\frac{f}{g}[/latex] by considering the limit of the quotient of the derivatives [latex]\frac{{f}^{\prime }}{{g}^{\prime }}.[/latex] It is important to realize that we are not calculating the derivative of the quotient [latex]\frac{f}{g}.[/latex]

Applying L’Hôpital’s Rule (0/0 Case)

Evaluate each of the following limits by applying L’Hôpital’s rule.

  1. [latex]\underset{x\to 0}{\text{lim}}\frac{1- \cos x}{x}[/latex]
  2. [latex]\underset{x\to 1}{\text{lim}}\frac{ \sin (\pi x)}{\text{ln}x}[/latex]
  3. [latex]\underset{x\to \infty }{\text{lim}}\frac{{e}^{1\text{/}x}-1}{1\text{/}x}[/latex]
  4. [latex]\underset{x\to 0}{\text{lim}}\frac{ \sin x-x}{{x}^{2}}[/latex]

Evaluate [latex]\underset{x\to 0}{\text{lim}}\frac{x}{ \tan x}.[/latex]

Hint

[latex]\frac{d}{dx} \tan x={ \sec }^{2}x[/latex]

We can also use L’Hôpital’s rule to evaluate limits of quotients [latex]\frac{f(x)}{g(x)}[/latex] in which [latex]f(x)\to \text{±}\infty [/latex] and [latex]g(x)\to \text{±}\infty .[/latex] Limits of this form are classified as indeterminate forms of type [latex]\infty \text{/}\infty .[/latex] Again, note that we are not actually dividing [latex]\infty [/latex] by [latex]\infty .[/latex] Since [latex]\infty [/latex] is not a real number, that is impossible; rather, [latex]\infty \text{/}\infty .[/latex] is used to represent a quotient of limits, each of which is [latex]\infty [/latex] or [latex]\text{−}\infty .[/latex]

L’Hôpital’s Rule [latex](\infty \text{/}\infty [/latex] Case)

Suppose [latex]f[/latex] and [latex]g[/latex] are differentiable functions over an open interval containing [latex]a,[/latex] except possibly at [latex]a.[/latex] Suppose [latex]\underset{x\to a}{\text{lim}}f(x)=\infty [/latex] (or [latex]\text{−}\infty )[/latex] and [latex]\underset{x\to a}{\text{lim}}g(x)=\infty [/latex] (or [latex]\text{−}\infty ).[/latex] Then,

[latex]\underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}=\underset{x\to a}{\text{lim}}\frac{{f}^{\prime }(x)}{{g}^{\prime }(x)},[/latex]

assuming the limit on the right exists or is [latex]\infty [/latex] or [latex]\text{−}\infty .[/latex] This result also holds if the limit is infinite, if [latex]a=\infty [/latex] or [latex]\text{−}\infty ,[/latex] or the limit is one-sided.

Applying L’Hôpital’s Rule [latex](\infty \text{/}\infty [/latex] Case)

Evaluate each of the following limits by applying L’Hôpital’s rule.

  1. [latex]\underset{x\to \infty }{\text{lim}}\frac{3x+5}{2x+1}[/latex]
  2. [latex]\underset{x\to {0}^{+}}{\text{lim}}\frac{\text{ln}x}{ \cot x}[/latex]

Evaluate [latex]\underset{x\to \infty }{\text{lim}}\frac{\text{ln}x}{5x}.[/latex]

Hint

[latex]\frac{d}{dx}\text{ln}x=\frac{1}{x}[/latex]

As mentioned, L’Hôpital’s rule is an extremely useful tool for evaluating limits. It is important to remember, however, that to apply L’Hôpital’s rule to a quotient [latex]\frac{f(x)}{g(x)},[/latex] it is essential that the limit of [latex]\frac{f(x)}{g(x)}[/latex] be of the form [latex]\frac{0}{0}[/latex] or [latex]\infty \text{/}\infty .[/latex] Consider the following example.

When L’Hôpital’s Rule Does Not Apply

Consider [latex]\underset{x\to 1}{\text{lim}}\frac{{x}^{2}+5}{3x+4}.[/latex] Show that the limit cannot be evaluated by applying L’Hôpital’s rule.

Explain why we cannot apply L’Hôpital’s rule to evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}\frac{ \cos x}{x}.[/latex] Evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}\frac{ \cos x}{x}[/latex] by other means.

Hint

Determine the limits of the numerator and denominator separately.

Other Indeterminate Forms

L’Hôpital’s rule is very useful for evaluating limits involving the indeterminate forms [latex]\frac{0}{0}[/latex] and [latex]\infty \text{/}\infty .[/latex] However, we can also use L’Hôpital’s rule to help evaluate limits involving other indeterminate forms that arise when evaluating limits. The expressions [latex]0·\infty ,[/latex] [latex]\infty -\infty ,[/latex] [latex]{1}^{\infty },[/latex] [latex]{\infty }^{0},[/latex] and [latex]{0}^{0}[/latex] are all considered indeterminate forms. These expressions are not real numbers. Rather, they represent forms that arise when trying to evaluate certain limits. Next we realize why these are indeterminate forms and then understand how to use L’Hôpital’s rule in these cases. The key idea is that we must rewrite the indeterminate forms in such a way that we arrive at the indeterminate form [latex]\frac{0}{0}[/latex] or [latex]\infty \text{/}\infty .[/latex]

Indeterminate Form of Type [latex]0·\infty [/latex]

Suppose we want to evaluate [latex]\underset{x\to a}{\text{lim}}(f(x)·g(x)),[/latex] where [latex]f(x)\to 0[/latex] and [latex]g(x)\to \infty [/latex] (or [latex]\text{−}\infty )[/latex] as [latex]x\to a.[/latex] Since one term in the product is approaching zero but the other term is becoming arbitrarily large (in magnitude), anything can happen to the product. We use the notation [latex]0·\infty [/latex] to denote the form that arises in this situation. The expression [latex]0·\infty [/latex] is considered indeterminate because we cannot determine without further analysis the exact behavior of the product [latex]f(x)g(x)[/latex] as [latex]x\to \infty .[/latex] For example, let [latex]n[/latex] be a positive integer and consider

[latex]f(x)=\frac{1}{({x}^{n}+1)}\text{ and }g(x)=3{x}^{2}.[/latex]

As [latex]x\to \infty ,[/latex] [latex]f(x)\to 0[/latex] and [latex]g(x)\to \infty .[/latex] However, the limit as [latex]x\to \infty [/latex] of [latex]f(x)g(x)=\frac{3{x}^{2}}{({x}^{n}+1)}[/latex] varies, depending on [latex]n.[/latex] If [latex]n=2,[/latex] then [latex]\underset{x\to \infty }{\text{lim}}f(x)g(x)=3.[/latex] If [latex]n=1,[/latex] then [latex]\underset{x\to \infty }{\text{lim}}f(x)g(x)=\infty .[/latex] If [latex]n=3,[/latex] then [latex]\underset{x\to \infty }{\text{lim}}f(x)g(x)=0.[/latex] Here we consider another limit involving the indeterminate form [latex]0·\infty [/latex] and show how to rewrite the function as a quotient to use L’Hôpital’s rule.

Indeterminate Form of Type [latex]0·\infty [/latex]

Evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}x\text{ln}x.[/latex]

Evaluate [latex]\underset{x\to 0}{\text{lim}}x \cot x.[/latex]

Hint

Write [latex]x \cot x=\frac{x \cos x}{ \sin x}[/latex]

Indeterminate Form of Type [latex]\infty -\infty [/latex]

Another type of indeterminate form is [latex]\infty -\infty .[/latex] Consider the following example. Let [latex]n[/latex] be a positive integer and let [latex]f(x)=3{x}^{n}[/latex] and [latex]g(x)=3{x}^{2}+5.[/latex] As [latex]x\to \infty ,[/latex] [latex]f(x)\to \infty [/latex] and [latex]g(x)\to \infty .[/latex] We are interested in [latex]\underset{x\to \infty }{\text{lim}}(f(x)-g(x)).[/latex] Depending on whether [latex]f(x)[/latex] grows faster, [latex]g(x)[/latex] grows faster, or they grow at the same rate, as we see next, anything can happen in this limit. Since [latex]f(x)\to \infty [/latex] and [latex]g(x)\to \infty ,[/latex] we write [latex]\infty -\infty [/latex] to denote the form of this limit. As with our other indeterminate forms, [latex]\infty -\infty [/latex] has no meaning on its own and we must do more analysis to determine the value of the limit. For example, suppose the exponent [latex]n[/latex] in the function [latex]f(x)=3{x}^{n}[/latex] is [latex]n=3,[/latex] then

[latex]\underset{x\to \infty }{\text{lim}}(f(x)-g(x))=\underset{x\to \infty }{\text{lim}}(3{x}^{3}-3{x}^{2}-5)=\infty .[/latex]

On the other hand, if [latex]n=2,[/latex] then

[latex]\underset{x\to \infty }{\text{lim}}(f(x)-g(x))=\underset{x\to \infty }{\text{lim}}(3{x}^{2}-3{x}^{2}-5)=-5.[/latex]

However, if [latex]n=1,[/latex] then

[latex]\underset{x\to \infty }{\text{lim}}(f(x)-g(x))=\underset{x\to \infty }{\text{lim}}(3x-3{x}^{2}-5)=\text{−}\infty .[/latex]

Therefore, the limit cannot be determined by considering only [latex]\infty -\infty .[/latex] Next we see how to rewrite an expression involving the indeterminate form [latex]\infty -\infty [/latex] as a fraction to apply L’Hôpital’s rule.

Indeterminate Form of Type [latex]\infty -\infty [/latex]

Evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}(\frac{1}{{x}^{2}}-\frac{1}{ \tan x}).[/latex]

Evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}(\frac{1}{x}-\frac{1}{ \sin x}).[/latex]

Hint

Rewrite the difference of fractions as a single fraction.

Another type of indeterminate form that arises when evaluating limits involves exponents. The expressions [latex]{0}^{0},[/latex] [latex]{\infty }^{0},[/latex] and [latex]{1}^{\infty }[/latex] are all indeterminate forms. On their own, these expressions are meaningless because we cannot actually evaluate these expressions as we would evaluate an expression involving real numbers. Rather, these expressions represent forms that arise when finding limits. Now we examine how L’Hôpital’s rule can be used to evaluate limits involving these indeterminate forms.

Since L’Hôpital’s rule applies to quotients, we use the natural logarithm function and its properties to reduce a problem evaluating a limit involving exponents to a related problem involving a limit of a quotient. For example, suppose we want to evaluate [latex]\underset{x\to a}{\text{lim}}f{(x)}^{g(x)}[/latex] and we arrive at the indeterminate form [latex]{\infty }^{0}.[/latex] (The indeterminate forms [latex]{0}^{0}[/latex] and [latex]{1}^{\infty }[/latex] can be handled similarly.) We proceed as follows. Let

[latex]y=f{(x)}^{g(x)}.[/latex]

Then,

[latex]\text{ln}y=\text{ln}(f{(x)}^{g(x)})=g(x)\text{ln}(f(x)).[/latex]

Therefore,

[latex]\underset{x\to a}{\text{lim}}\left[\text{ln}(y)\right]=\underset{x\to a}{\text{lim}}\left[g(x)\text{ln}(f(x))\right].[/latex]

Since [latex]\underset{x\to a}{\text{lim}}f(x)=\infty ,[/latex] we know that [latex]\underset{x\to a}{\text{lim}}\text{ln}(f(x))=\infty .[/latex] Therefore, [latex]\underset{x\to a}{\text{lim}}g(x)\text{ln}(f(x))[/latex] is of the indeterminate form [latex]0·\infty ,[/latex] and we can use the techniques discussed earlier to rewrite the expression [latex]g(x)\text{ln}(f(x))[/latex] in a form so that we can apply L’Hôpital’s rule. Suppose [latex]\underset{x\to a}{\text{lim}}g(x)\text{ln}(f(x))=L,[/latex] where [latex]L[/latex] may be [latex]\infty [/latex] or [latex]\text{−}\infty .[/latex] Then

[latex]\underset{x\to a}{\text{lim}}\left[\text{ln}(y)\right]=L.[/latex]

Since the natural logarithm function is continuous, we conclude that

[latex]\text{ln}(\underset{x\to a}{\text{lim}}y)=L,[/latex]

which gives us

[latex]\underset{x\to a}{\text{lim}}y=\underset{x\to a}{\text{lim}}f{(x)}^{g(x)}={e}^{L}.[/latex]

Indeterminate Form of Type [latex]{\infty }^{0}[/latex]

Evaluate [latex]\underset{x\to \infty }{\text{lim}}{x}^{1\text{/}x}.[/latex]

Evaluate [latex]\underset{x\to \infty }{\text{lim}}{x}^{1\text{/}\text{ln}(x)}.[/latex]

Hint

Let [latex]y={x}^{1\text{/}\text{ln}(x)}[/latex] and apply the natural logarithm to both sides of the equation.

Indeterminate Form of Type [latex]{0}^{0}[/latex]

Evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}{x}^{ \sin x}.[/latex]

Evaluate [latex]\underset{x\to {0}^{+}}{\text{lim}}{x}^{x}.[/latex]

Hint

Let [latex]y={x}^{x}[/latex] and take the natural logarithm of both sides of the equation.

Growth Rates of Functions

Suppose the functions [latex]f[/latex] and [latex]g[/latex] both approach infinity as [latex]x\to \infty .[/latex] Although the values of both functions become arbitrarily large as the values of [latex]x[/latex] become sufficiently large, sometimes one function is growing more quickly than the other. For example, [latex]f(x)={x}^{2}[/latex] and [latex]g(x)={x}^{3}[/latex] both approach infinity as [latex]x\to \infty .[/latex] However, as shown in the following table, the values of [latex]{x}^{3}[/latex] are growing much faster than the values of [latex]{x}^{2}.[/latex]

Comparing the Growth Rates of [latex]{x}^{2}[/latex] and [latex]{x}^{3}[/latex]
[latex]x[/latex] 10 100 1000 10,000
[latex]f(x)={x}^{2}[/latex] 100 10,000 1,000,000 100,000,000
[latex]g(x)={x}^{3}[/latex] 1000 1,000,000 1,000,000,000 [latex]1,000,000,000,000[/latex]

In fact,

[latex]\underset{x\to \infty }{\text{lim}}\frac{{x}^{3}}{{x}^{2}}=\underset{x\to \infty }{\text{lim}}x=\infty .\text{or, equivalently,}\underset{x\to \infty }{\text{lim}}\frac{{x}^{2}}{{x}^{3}}=\underset{x\to \infty }{\text{lim}}\frac{1}{x}=0.[/latex]

As a result, we say [latex]{x}^{3}[/latex] is growing more rapidly than [latex]{x}^{2}[/latex] as [latex]x\to \infty .[/latex] On the other hand, for [latex]f(x)={x}^{2}[/latex] and [latex]g(x)=3{x}^{2}+4x+1,[/latex] although the values of [latex]g(x)[/latex] are always greater than the values of [latex]f(x)[/latex] for [latex]x>0,[/latex] each value of [latex]g(x)[/latex] is roughly three times the corresponding value of [latex]f(x)[/latex] as [latex]x\to \infty ,[/latex] as shown in the following table. In fact,

[latex]\underset{x\to \infty }{\text{lim}}\frac{{x}^{2}}{3{x}^{2}+4x+1}=\frac{1}{3}.[/latex]
Comparing the Growth Rates of [latex]{x}^{2}[/latex] and [latex]3{x}^{2}+4x+1[/latex]
[latex]x[/latex] 10 100 1000 10,000
[latex]f(x)={x}^{2}[/latex] 100 10,000 1,000,000 100,000,000
[latex]g(x)=3{x}^{2}+4x+1[/latex] 341 30,401 3,004,001 300,040,001

In this case, we say that [latex]{x}^{2}[/latex] and [latex]3{x}^{2}+4x+1[/latex] are growing at the same rate as [latex]x\to \infty .[/latex]

More generally, suppose [latex]f[/latex] and [latex]g[/latex] are two functions that approach infinity as [latex]x\to \infty .[/latex] We say [latex]g[/latex] grows more rapidly than [latex]f[/latex] as [latex]x\to \infty [/latex] if

[latex]\underset{x\to \infty }{\text{lim}}\frac{g(x)}{f(x)}=\infty ;\text{or, equivalently,}\underset{x\to \infty }{\text{lim}}\frac{f(x)}{g(x)}=0.[/latex]

On the other hand, if there exists a constant [latex]M\ne 0[/latex] such that

[latex]\underset{x\to \infty }{\text{lim}}\frac{f(x)}{g(x)}=M,[/latex]

we say [latex]f[/latex] and [latex]g[/latex] grow at the same rate as [latex]x\to \infty .[/latex]

Next we see how to use L’Hôpital’s rule to compare the growth rates of power, exponential, and logarithmic functions.

Comparing the Growth Rates of [latex]\text{ln}(x),[/latex] [latex]{x}^{2},[/latex] and [latex]{e}^{x}[/latex]

For each of the following pairs of functions, use L’Hôpital’s rule to evaluate [latex]\underset{x\to \infty }{\text{lim}}(\frac{f(x)}{g(x)}).[/latex]

  1. [latex]f(x)={x}^{2}\text{ and }g(x)={e}^{x}[/latex]
  2. [latex]f(x)=\text{ln}(x)\text{ and }g(x)={x}^{2}[/latex]

Compare the growth rates of [latex]{x}^{100}[/latex] and [latex]{2}^{x}.[/latex]

Hint

Apply L’Hôpital’s rule to [latex]{x}^{100}\text{/}{2}^{x}[/latex]

Using the same ideas as in (Figure)a. it is not difficult to show that [latex]{e}^{x}[/latex] grows more rapidly than [latex]{x}^{p}[/latex] for any [latex]p>0.[/latex] In (Figure) and (Figure), we compare [latex]{e}^{x}[/latex] with [latex]{x}^{3}[/latex] and [latex]{x}^{4}[/latex] as [latex]x\to \infty .[/latex]

This figure has two figures marked a and b. In figure a, the functions y = ex and y = x3 are graphed. It is obvious that ex increases more quickly than x3. In figure b, the functions y = ex and y = x4 are graphed. It is obvious that ex increases much more quickly than x4, but the point at which that happens is further to the right than it was for x3.

Figure 5. The exponential function [latex]{e}^{x}[/latex] grows faster than [latex]{x}^{p}[/latex] for any [latex]p>0.[/latex] (a) A comparison of [latex]{e}^{x}[/latex] with [latex]{x}^{3}.[/latex] (b) A comparison of [latex]{e}^{x}[/latex] with [latex]{x}^{4}.[/latex]

An exponential function grows at a faster rate than any power function
[latex]x[/latex] 5 10 15 20
[latex]{x}^{3}[/latex] 125 1000 3375 8000
[latex]{x}^{4}[/latex] 625 10,000 50,625 160,000
[latex]{e}^{x}[/latex] 148 22,026 3,269,017 485,165,195

Similarly, it is not difficult to show that [latex]{x}^{p}[/latex] grows more rapidly than [latex]\text{ln}x[/latex] for any [latex]p>0.[/latex] In (Figure) and (Figure), we compare [latex]\text{ln}x[/latex] with [latex]\sqrt[3]{x}[/latex] and [latex]\sqrt{x}.[/latex]

This figure shows y = the square root of x, y = the cube root of x, and y = ln(x). It is apparent that y = ln(x) grows more slowly than either of these functions.

Figure 6. The function [latex]y=\text{ln}(x)[/latex] grows more slowly than [latex]{x}^{p}[/latex] for any [latex]p>0[/latex] as [latex]x\to \infty .[/latex]

A logarithmic function grows at a slower rate than any root function
[latex]x[/latex] 10 100 1000 10,000
[latex]\text{ln}(x)[/latex] 2.303 4.605 6.908 9.210
[latex]\sqrt[3]{x}[/latex] 2.154 4.642 10 21.544
[latex]\sqrt{x}[/latex] 3.162 10 31.623 100

Key Concepts

  • L’Hôpital’s rule can be used to evaluate the limit of a quotient when the indeterminate form [latex]\frac{0}{0}[/latex] or [latex]\infty \text{/}\infty [/latex] arises.
  • L’Hôpital’s rule can also be applied to other indeterminate forms if they can be rewritten in terms of a limit involving a quotient that has the indeterminate form [latex]\frac{0}{0}[/latex] or [latex]\infty \text{/}\infty .[/latex]
  • The exponential function [latex]{e}^{x}[/latex] grows faster than any power function [latex]{x}^{p},[/latex] [latex]p>0.[/latex]
  • The logarithmic function [latex]\text{ln}x[/latex] grows more slowly than any power function [latex]{x}^{p},[/latex] [latex]p>0.[/latex]

For the following exercises, evaluate the limit.

Evaluate the limit [latex]\underset{x\to \infty }{\text{lim}}\frac{{e}^{x}}{x}.[/latex]

Evaluate the limit [latex]\underset{x\to \infty }{\text{lim}}\frac{{e}^{x}}{{x}^{k}}.[/latex]

Evaluate the limit [latex]\underset{x\to \infty }{\text{lim}}\frac{\text{ln}x}{{x}^{k}}.[/latex]

Evaluate the limit [latex]\underset{x\to a}{\text{lim}}\frac{x-a}{{x}^{2}-{a}^{2}}.[/latex]

Evaluate the limit [latex]\underset{x\to a}{\text{lim}}\frac{x-a}{{x}^{3}-{a}^{3}}.[/latex]

Evaluate the limit [latex]\underset{x\to a}{\text{lim}}\frac{x-a}{{x}^{n}-{a}^{n}}.[/latex]

For the following exercises, determine whether you can apply L’Hôpital’s rule directly. Explain why or why not. Then, indicate if there is some way you can alter the limit so you can apply L’Hôpital’s rule.

[latex]\underset{x\to {0}^{+}}{\text{lim}}{x}^{2}\text{ln}x[/latex]

[latex]\underset{x\to \infty }{\text{lim}}{x}^{1\text{/}x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}{x}^{2\text{/}x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{{x}^{2}}{1\text{/}x}[/latex]

[latex]\underset{x\to \infty }{\text{lim}}\frac{{e}^{x}}{x}[/latex]

For the following exercises, evaluate the limits with either L’Hôpital’s rule or previously learned methods.

[latex]\underset{x\to 3}{\text{lim}}\frac{{x}^{2}-9}{x-3}[/latex]

[latex]\underset{x\to 3}{\text{lim}}\frac{{x}^{2}-9}{x+3}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{{(1+x)}^{-2}-1}{x}[/latex]

[latex]\underset{x\to \pi \text{/}2}{\text{lim}}\frac{ \cos x}{{}_{2}^{\pi }-x}[/latex]

[latex]\underset{x\to \pi }{\text{lim}}\frac{x-\pi }{ \sin x}[/latex]

[latex]\underset{x\to 1}{\text{lim}}\frac{x-1}{ \sin x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{{(1+x)}^{n}-1}{x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{{(1+x)}^{n}-1-nx}{{x}^{2}}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{ \sin x- \tan x}{{x}^{3}}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{\sqrt{1+x}-\sqrt{1-x}}{x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{{e}^{x}-x-1}{{x}^{2}}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{ \tan x}{\sqrt{x}}[/latex]

[latex]\underset{x\to 1}{\text{lim}}\frac{x-1}{\text{ln}x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}{(x+1)}^{1\text{/}x}[/latex]

[latex]\underset{x\to 1}{\text{lim}}\frac{\sqrt{x}-\sqrt[3]{x}}{x-1}[/latex]

[latex]\underset{x\to {0}^{+}}{\text{lim}}{x}^{2x}[/latex]

[latex]\underset{x\to \infty }{\text{lim}}x \sin (\frac{1}{x})[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{ \sin x-x}{{x}^{2}}[/latex]

[latex]\underset{x\to {0}^{+}}{\text{lim}}x\text{ln}({x}^{4})[/latex]

[latex]\underset{x\to \infty }{\text{lim}}(x-{e}^{x})[/latex]

[latex]\underset{x\to \infty }{\text{lim}}{x}^{2}{e}^{\text{−}x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{{3}^{x}-{2}^{x}}{x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}\frac{1+1\text{/}x}{1-1\text{/}x}[/latex]

[latex]\underset{x\to \pi \text{/}4}{\text{lim}}(1- \tan x) \cot x[/latex]

[latex]\underset{x\to \infty }{\text{lim}}x{e}^{1\text{/}x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}{x}^{1\text{/} \cos x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}{x}^{1\text{/}x}[/latex]

[latex]\underset{x\to 0}{\text{lim}}{(1-\frac{1}{x})}^{x}[/latex]

[latex]\underset{x\to \infty }{\text{lim}}{(1-\frac{1}{x})}^{x}[/latex]

For the following exercises, use a calculator to graph the function and estimate the value of the limit, then use L’Hôpital’s rule to find the limit directly.

[T][latex]\underset{x\to 0}{\text{lim}}\frac{{e}^{x}-1}{x}[/latex]

[T][latex]\underset{x\to 0}{\text{lim}}x \sin (\frac{1}{x})[/latex]

[T][latex]\underset{x\to 1}{\text{lim}}\frac{x-1}{1- \cos (\pi x)}[/latex]

[T][latex]\underset{x\to 1}{\text{lim}}\frac{{e}^{(x-1)}-1}{x-1}[/latex]

[T][latex]\underset{x\to 1}{\text{lim}}\frac{{(x-1)}^{2}}{\text{ln}x}[/latex]

[T][latex]\underset{x\to \pi }{\text{lim}}\frac{1+ \cos x}{ \sin x}[/latex]

[T][latex]\underset{x\to 0}{\text{lim}}( \csc x-\frac{1}{x})[/latex]

[T][latex]\underset{x\to {0}^{+}}{\text{lim}} \tan ({x}^{x})[/latex]

[T][latex]\underset{x\to {0}^{+}}{\text{lim}}\frac{\text{ln}x}{ \sin x}[/latex]

[T][latex]\underset{x\to 0}{\text{lim}}\frac{{e}^{x}-{e}^{\text{−}x}}{x}[/latex]

Glossary

indeterminate forms
when evaluating a limit, the forms [latex]\frac{0}{0},[/latex] [latex]\infty \text{/}\infty ,[/latex] [latex]0·\infty ,[/latex] [latex]\infty -\infty ,[/latex] [latex]{0}^{0},[/latex] [latex]{\infty }^{0},[/latex] and [latex]{1}^{\infty }[/latex] are considered indeterminate because further analysis is required to determine whether the limit exists and, if so, what its value is
L’Hôpital’s rule
if [latex]f[/latex] and [latex]g[/latex] are differentiable functions over an interval [latex]a,[/latex] except possibly at [latex]a,[/latex] and [latex]\underset{x\to a}{\text{lim}}f(x)=0=\underset{x\to a}{\text{lim}}g(x)[/latex] or [latex]\underset{x\to a}{\text{lim}}f(x)[/latex] and [latex]\underset{x\to a}{\text{lim}}g(x)[/latex] are infinite, then [latex]\underset{x\to a}{\text{lim}}\frac{f(x)}{g(x)}=\underset{x\to a}{\text{lim}}\frac{{f}^{\prime }(x)}{{g}^{\prime }(x)},[/latex] assuming the limit on the right exists or is [latex]\infty [/latex] or [latex]\text{−}\infty [/latex]