APEX L’Hospital’s Rule

Section 6.7 L’Hospital’s Rule

While this chapter is devoted to learning techniques of integration, this section is not about integration. Rather, it is concerned with a technique of evaluating certain limits that will be useful in the following section, where integration is once more discussed.

🔗

Our treatment of limits exposed us to the notion of “0/0”, an indeterminate form. If

lim_{x \to c} f (x) = 0

and

lim_{x \to c} g (x) = 0,

we do not conclude that

lim_{x \to c} f (x) / g (x)

0 / 0;

rather, we use

0 / 0

as notation to describe the fact that both the numerator and denominator approach 0. The expression 0/0 has no numeric value; other work must be done to evaluate the limit.

🔗

Other indeterminate forms exist; they are:

\infty / \infty,

0 \cdot \infty,

\infty - \infty,

0^{0},

1^{\infty}

and

\infty^{0} .

Just as “0/0” does not mean “divide 0 by 0,” the expression “

\infty / \infty

” does not mean “divide infinity by infinity.” Instead, it means “a quantity is growing without bound and is being divided by another quantity that is growing without bound.” We cannot determine from such a statement what value, if any, results in the limit. Likewise, “

0 \cdot \infty

” does not mean “multiply zero by infinity.” Instead, it means “one quantity is shrinking to zero, and is being multiplied by a quantity that is growing without bound.” We cannot determine from such a description what the result of such a limit will be.

🔗

Figure 6.7.1. Video introduction to Section 6.7

🔗

This section introduces l’Hospital’s Rule, a method of resolving limits that produce the indeterminate forms 0/0 and

\infty / \infty .

We’ll also show how algebraic manipulation can be used to convert other indeterminate expressions into one of these two forms so that our new rule can be applied.

🔗

Subsection 6.7.1 L’Hospital’s Rule with Indeterminate Forms $0 / 0$ and $\infty / \infty$

Theorem 6.7.2. L’Hospital’s Rule, Part 1.

Let

lim_{x \to c} f (x) = 0

and

lim_{x \to c} g (x) = 0,

where

f

and

g

are differentiable functions on an open interval

I

containing

c,

and

g^{'} (x) \neq 0

I

except possibly at

c .

lim_{x \to c} \frac{f^{'} (x)}{g^{'} (x)} = L,

then

lim_{x \to c} \frac{f (x)}{g (x)} = L,

where

L

is a real number, or

L = \pm \infty .

The result applies to one-sided limits as well.

🔗

We demonstrate the use of l’Hospital’s Rule in the following examples; we will often use “LHR” as an abbreviation of “l’Hospital’s Rule.”

🔗

Example 6.7.3. Using l’Hospital’s Rule.

Evaluate the following limits, using l’Hospital’s Rule as needed.

🔗

$lim_{x \to 0} \frac{\sin (x)}{x}$

🔗
$lim_{x \to 1} \frac{\sqrt{x + 3} - 2}{1 - x}$

🔗
$lim_{x \to 0} \frac{x^{2}}{1 - \cos (x)}$

🔗
$lim_{x \to 2} \frac{x^{2} + x - 6}{x^{2} - 3 x + 2}$

🔗

🔗

Solution 1.

We proved this limit is 1 in Example 1.3.13 using the Squeeze Theorem. Here we use l’Hospital’s Rule to show its power.

$lim_{x \to 0} \frac{\sin (x)}{x} \overset{by LHR}{=} lim_{x \to 0} \frac{\cos (x)}{1} = 1 .$

🔗

🔗
$lim_{x \to 1} \frac{\sqrt{x + 3} - 2}{1 - x} \overset{by LHR}{=} lim_{x \to 1} \frac{\frac{1}{2} (x + 3)^{- 1 / 2}}{- 1} = - \frac{1}{4} .$

🔗
$lim_{x \to 0} \frac{x^{2}}{1 - \cos (x)} \overset{by LHR}{=} lim_{x \to 0} \frac{2 x}{\sin (x)} .$

This latter limit also evaluates to the 0/0 indeterminate form. To evaluate it, we apply l’Hospital’s Rule again.

$lim_{x \to 0} \frac{2 x}{\sin (x)} \overset{by LHR}{=} \frac{2}{\cos (x)} = 2 .$

Thus $lim_{x \to 0} \frac{x^{2}}{1 - \cos (x)} = 2 .$

🔗

🔗
We already know how to evaluate this limit; first factor the numerator and denominator. We then have:

$lim_{x \to 2} \frac{x^{2} + x - 6}{x^{2} - 3 x + 2} = lim_{x \to 2} \frac{(x - 2) (x + 3)}{(x - 2) (x - 1)} = lim_{x \to 2} \frac{x + 3}{x - 1} = 5 .$

We now show how to solve this using l’Hospital’s Rule.

$lim_{x \to 2} \frac{x^{2} + x - 6}{x^{2} - 3 x + 2} \overset{by LHR}{=} lim_{x \to 2} \frac{2 x + 1}{2 x - 3} = 5 .$

🔗

🔗

🔗

Solution 2. Video solution

🔗

Note that at each step where l’Hospital’s Rule was applied, it was needed: the initial limit returned the indeterminate form of “

0 / 0 .

” If the initial limit returns, for example, 1/2, then l’Hospital’s Rule does not apply.

🔗

The following theorem extends our initial version of l’Hospital’s Rule in two ways. It allows the technique to be applied to the indeterminate form

\infty / \infty

and to limits where

x

approaches

\pm \infty .

🔗

Theorem 6.7.4. L’Hospital’s Rule, Part 2.

Let $lim_{x \to a} f (x) = \pm \infty$ and $lim_{x \to a} g (x) = \pm \infty,$ where $f$ and $g$ are differentiable on an open interval $I$ containing $a .$ If

$lim_{x \to a} \frac{f^{'} (x)}{g^{'} (x)} = L,$

then

$lim_{x \to a} \frac{f (x)}{g (x)} = L,$

where $L$ is a real number, or $L = \pm \infty .$ The result applies to one-sided limits as well.

🔗

🔗
Let $f$ and $g$ be differentiable functions on the open interval $(a, \infty)$ for some value $a,$ where $g^{'} (x) \neq 0$ on $(a, \infty)$ and $lim_{x \to \infty} f (x) / g (x)$ returns either $0 / 0$ or $\infty / \infty .$ If

$lim_{x \to \infty} \frac{f^{'} (x)}{g^{'} (x)} = L,$

then

$lim_{x \to \infty} \frac{f (x)}{g (x)} = L,$

where $L$ is a real number, or $L = \pm \infty .$ A similar statement can be made for limits where $x$ approaches $- \infty .$

🔗

🔗

🔗

Example 6.7.5. Using l’Hospital’s Rule with limits involving $\infty$ .

Evaluate the following limits.

🔗

1. lim_{x \to \infty} \frac{3 x^{2} - 100 x + 2}{4 x^{2} + 5 x - 1000} 2. lim_{x \to \infty} \frac{e^{x}}{x^{3}} .

🔗

Solution 1.

We can evaluate this limit already using Theorem 1.6.21; the answer is 3/4. We apply l’Hospital’s Rule to demonstrate its applicability.

$lim_{x \to \infty} \frac{3 x^{2} - 100 x + 2}{4 x^{2} + 5 x - 1000} \overset{by LHR}{=} lim_{x \to \infty} \frac{6 x - 100}{8 x + 5} \overset{by LHR}{=} lim_{x \to \infty} \frac{6}{8} = \frac{3}{4} .$

🔗

🔗
$lim_{x \to \infty} \frac{e^{x}}{x^{3}} \overset{by LHR}{=} lim_{x \to \infty} \frac{e^{x}}{3 x^{2}} \overset{by LHR}{=} lim_{x \to \infty} \frac{e^{x}}{6 x} \overset{by LHR}{=} lim_{x \to \infty} \frac{e^{x}}{6} = \infty .$

Recall that this means that the limit does not exist; as $x$ approaches $\infty,$ the expression $e^{x} / x^{3}$ grows without bound. We can infer from this that $e^{x}$ grows “faster” than $x^{3};$ as $x$ gets large, $e^{x}$ is far larger than $x^{3} .$ (This has important implications in computing when considering efficiency of algorithms.)

🔗

🔗

🔗

Solution 2. Video solution

🔗

Subsection 6.7.2 Indeterminate Forms $0 \cdot \infty$ and $\infty - \infty$

L’Hospital’s Rule can only be applied to ratios of functions. When faced with an indeterminate form such as

0 \cdot \infty

\infty - \infty,

we can sometimes apply algebra to rewrite the limit so that l’Hospital’s Rule can be applied. We demonstrate the general idea in the next example.

🔗

Example 6.7.6. Applying l’Hospital’s Rule to other indeterminate forms.

Evaluate the following limits.

🔗

$lim_{x \to 0^{+}} x \cdot e^{1 / x}$

🔗
$lim_{x \to 0^{-}} x \cdot e^{1 / x}$

🔗
$lim_{x \to \infty} \ln (x + 1) - \ln (x)$

🔗
$lim_{x \to \infty} x^{2} - e^{x}$

🔗

🔗

Solution 1.

As $x \to 0^{+},$ $x \to 0$ and $e^{1 / x} \to \infty .$ Thus we have the indeterminate form $0 \cdot \infty .$ We rewrite the expression $x \cdot e^{1 / x}$ as $\frac{e^{1 / x}}{1 / x};$ now, as $x \to 0^{+},$ we get the indeterminate form $\infty / \infty$ to which l’Hospital’s Rule can be applied.

$lim_{x \to 0^{+}} x \cdot e^{1 / x} = lim_{x \to 0^{+}} \frac{e^{1 / x}}{1 / x} \overset{by LHR}{=} lim_{x \to 0^{+}} \frac{(- 1 / x^{2}) e^{1 / x}}{- 1 / x^{2}} = lim_{x \to 0^{+}} e^{1 / x} = \infty .$

Interpretation: $e^{1 / x}$ grows “faster” than $x$ shrinks to zero, meaning their product grows without bound.

🔗

🔗
As $x \to 0^{-},$ $x \to 0$ and $e^{1 / x} \to e^{- \infty} \to 0 .$ The the limit evaluates to $0 \cdot 0$ which is not an indeterminate form. We conclude then that

$lim_{x \to 0^{-}} x \cdot e^{1 / x} = 0 .$

🔗

🔗
This limit initially evaluates to the indeterminate form $\infty - \infty .$ By applying a logarithmic rule, we can rewrite the limit as

$lim_{x \to \infty} \ln (x + 1) - \ln (x) = lim_{x \to \infty} \ln (\frac{x + 1}{x}) .$

As $x \to \infty,$ the argument of the $\ln$ term approaches $\infty / \infty,$ to which we can apply l’Hospital’s Rule.

$lim_{x \to \infty} \frac{x + 1}{x} \overset{by LHR}{=} \frac{1}{1} = 1 .$

Since $x \to \infty$ implies $\frac{x + 1}{x} \to 1,$ it follows that

$x \to \infty implies \ln (\frac{x + 1}{x}) \to \ln (1) = 0 .$

Thus

$lim_{x \to \infty} \ln (x + 1) - \ln (x) = lim_{x \to \infty} \ln (\frac{x + 1}{x}) = 0 .$

Interpretation: since this limit evaluates to 0, it means that for large $x,$ there is essentially no difference between $\ln (x + 1)$ and $\ln (x);$ their difference is essentially 0.

🔗

🔗
The limit $lim_{x \to \infty} x^{2} - e^{x}$ initially returns the indeterminate form $\infty - \infty .$ We can rewrite the expression by factoring out $x^{2};$ $x^{2} - e^{x} = x^{2} (1 - \frac{e^{x}}{x^{2}}) .$ We need to evaluate how $e^{x} / x^{2}$ behaves as $x \to \infty :$

$lim_{x \to \infty} \frac{e^{x}}{x^{2}} \overset{by LHR}{=} lim_{x \to \infty} \frac{e^{x}}{2 x} \overset{by LHR}{=} lim_{x \to \infty} \frac{e^{x}}{2} = \infty .$

Thus $lim_{x \to \infty} x^{2} (1 - e^{x} / x^{2})$ evaluates to $\infty \cdot (- \infty),$ which is not an indeterminate form; rather, $\infty \cdot (- \infty)$ evaluates to $- \infty .$ We conclude that $lim_{x \to \infty} x^{2} - e^{x} = - \infty .$ Interpretation: as $x$ gets large, the difference between $x^{2}$ and $e^{x}$ grows very large.

🔗

🔗

🔗

Solution 2. Video solution

🔗

Subsection 6.7.3 Indeterminate Forms $0^{0},$ $1^{\infty}$ and $\infty^{0}$

When faced with an indeterminate form that involves a power, it often helps to employ the natural logarithmic function. The following Key Idea expresses the concept, which is followed by an example that demonstrates its use.

🔗

Key Idea 6.7.7. Evaluating Limits Involving Indeterminate Forms $0^{0},$ $1^{\infty}$ and $\infty^{0}$ .

lim_{x \to c} \ln (f (x)) = L,

then

lim_{x \to c} f (x) = lim_{x \to c} e^{\ln (f (x))} = e^{L} .

🔗

Example 6.7.8. Using l’Hospital’s Rule with indeterminate forms involving exponents.

Evaluate the following limits.

🔗

$lim_{x \to \infty} {(1 + \frac{1}{x})}^{x}$

🔗
$lim_{x \to 0^{+}} x^{x}$

🔗

🔗

Solution 1.

This is equivalent to a special limit given in Theorem 1.3.17; these limits have important applications within mathematics and finance. Note that the exponent approaches $\infty$ while the base approaches 1, leading to the indeterminate form $1^{\infty} .$ Let $f (x) = (1 + 1 / x)^{x};$ the problem asks to evaluate $lim_{x \to \infty} f (x) .$ Let’s first evaluate $lim_{x \to \infty} \ln (f (x)) .$

$\begin{aligned} lim_{x \to \infty} \ln (f (x)) & = lim_{x \to \infty} \ln {(1 + \frac{1}{x})}^{x} \\ = lim_{x \to \infty} x \ln (1 + \frac{1}{x}) \\ = lim_{x \to \infty} \frac{\ln (1 + \frac{1}{x})}{1 / x} \end{aligned}$
This produces the indeterminate form 0/0, so we apply l’Hospital’s Rule.
$\begin{aligned} = lim_{x \to \infty} \frac{\frac{1}{1 + 1 / x} \cdot (- 1 / x^{2})}{(- 1 / x^{2})} \\ = lim_{x \to \infty} \frac{1}{1 + 1 / x} \\ = 1 . \end{aligned}$

Thus $lim_{x \to \infty} \ln (f (x)) = 1 .$ We return to the original limit and apply Key Idea 6.7.7.

$lim_{x \to \infty} {(1 + \frac{1}{x})}^{x} = lim_{x \to \infty} f (x) = lim_{x \to \infty} e^{\ln (f (x))} = e^{1} = e .$

🔗

🔗
This limit leads to the indeterminate form $0^{0} .$ Let $f (x) = x^{x}$ and consider first $lim_{x \to 0^{+}} \ln (f (x)) .$

$\begin{aligned} lim_{x \to 0^{+}} \ln (f (x)) & = lim_{x \to 0^{+}} \ln (x^{x}) \\ = lim_{x \to 0^{+}} x \ln (x) \\ = lim_{x \to 0^{+}} \frac{\ln (x)}{1 / x} . \end{aligned}$
This produces the indeterminate form $- \infty / \infty$ so we apply l’Hospital’s Rule.
$\begin{aligned} = lim_{x \to 0^{+}} \frac{1 / x}{- 1 / x^{2}} \\ = lim_{x \to 0^{+}} - x \\ = 0 . \end{aligned}$

Thus $lim_{x \to 0^{+}} \ln (f (x)) = 0 .$ We return to the original limit and apply Key Idea 6.7.7.

$lim_{x \to 0^{+}} x^{x} = lim_{x \to 0^{+}} f (x) = lim_{x \to 0^{+}} e^{\ln (f (x))} = e^{0} = 1 .$

This result is supported by the graph of $f (x) = x^{x}$ given in Figure 6.7.9.

🔗

$Graph of function x^x, used in this the example.$
The $y$ axis is drawn from $0$ to $4$ and the $x$ axis is drawn from $0$ to $2 .$ The function $f (x) = x^{x}$ is drawn as a curve opening towards the positive $y$ axis with arrows towards the ends. The function is drawn from point $(0, 1)$ from where it dips gently then rises up slowly.
🔗

Figure 6.7.9. A graph of $f (x) = x^{x}$ supporting the fact that as $x \to 0^{+},$ $f (x) \to 1$
🔗
🔗

🔗

Solution 2. Video solution

🔗

Our brief revisit of limits will be rewarded in the next section where we consider improper integration. So far, we have only considered definite integrals where the bounds are finite numbers, such as

\int_{0}^{1} f (x) d x .

Improper integration considers integrals where one, or both, of the bounds are “infinity.” Such integrals have many uses and applications, in addition to generating ideas that are enlightening.

🔗

Exercises 6.7.4 Exercises

Terms and Concepts

1.

List the different indeterminate forms described in this section.

🔗

2.

L’Hospital’s Rule provides a faster method of computing derivatives.

🔗

True.
False.

🔗

3.

L’Hospital’s Rule states that

\frac{d}{d x} [\frac{f (x)}{g (x)}] = \frac{f^{'} (x)}{g^{'} (x)} .

🔗

True.
False.

🔗

4.

Explain what the indeterminate form “

1^{\infty}

” means.

🔗

5.

🔗

6.

Create (but do not evaluate!) a limit that returns “

\infty^{0}

”.

🔗

7.

Create a function

f (x)

such that

lim_{x \to 1} f (x)

returns “

0^{0}

”.

🔗

8.

Create a function

f (x)

such that

lim_{x \to \infty} f (x)

returns “

0 \cdot \infty

”.

🔗

Problems

Exercise Group.

Evaluate the given limit using l’Hospital’s rule.

🔗

9.

lim_{x \to 1} \frac{x^{2} + x - 2}{x - 1}

🔗

10.

lim_{x \to 2} \frac{x^{2} + x - 6}{x^{2} - 7 x + 10}

🔗

11.

lim_{x \to π} \frac{\sin (x)}{x - π}

🔗

12.

lim_{x \to π / 4} \frac{\sin (x) - \cos (x)}{\cos (2 x)}

🔗

13.

lim_{x \to 0} \frac{\sin (5 x)}{x}

🔗

14.

lim_{x \to 0} \frac{\sin (2 x)}{x + 2}

🔗

15.

lim_{x \to 0} \frac{\sin (2 x)}{\sin (3 x)}

🔗

16.

lim_{x \to 0} \frac{\sin (a x)}{\sin (b x)}

🔗

17.

lim_{x \to 0^{+}} \frac{e^{x} - 1}{x^{2}}

🔗

18.

lim_{x \to 0^{+}} \frac{e^{x} - x - 1}{x^{2}}

🔗

19.

lim_{x \to 0^{+}} \frac{x - \sin (x)}{x^{3} - x^{2}}

🔗

20.

lim_{x \to \infty} \frac{x^{4}}{e^{x}}

🔗

21.

lim_{x \to \infty} \frac{\sqrt{x}}{e^{x}}

🔗

22.

lim_{x \to \infty} \frac{e^{x}}{x^{2}}

🔗

23.

lim_{x \to \infty} \frac{e^{x}}{\sqrt{x}}

🔗

24.

lim_{x \to \infty} \frac{e^{x}}{2^{x}}

🔗

25.

lim_{x \to \infty} \frac{e^{x}}{3^{x}}

🔗

26.

lim_{x \to 3} \frac{x^{3} - 5 x^{2} + 3 x + 9}{x^{3} - 7 x^{2} + 15 x - 9}

🔗

27.

lim_{x \to - 2} \frac{x^{3} + 4 x^{2} + 4 x}{x^{3} + 7 x^{2} + 16 x + 12}

🔗

28.

lim_{x \to \infty} \frac{\ln (x)}{x}

🔗

29.

lim_{x \to \infty} \frac{\ln (x^{2})}{x}

🔗

30.

lim_{x \to \infty} \frac{\ln^{2} (x)}{x}

🔗

31.

lim_{x \to 0^{+}} x \cdot \ln (x)

🔗

32.

lim_{x \to 0^{+}} \sqrt{x} \cdot \ln (x)

🔗

33.

lim_{x \to 0^{+}} x \cdot e^{\frac{1}{x}}

🔗

34.

lim_{x \to \infty} x^{3} - x^{2}

🔗

35.

lim_{x \to \infty} \sqrt{x} - \ln (x)

🔗

36.

lim_{x \to - \infty} x \cdot e^{x}

🔗

37.

lim_{x \to 0^{+}} \frac{1}{x^{2}} \cdot e^{\frac{- 1}{x}}

🔗

38.

lim_{x \to 0^{+}} (1 + x)^{\frac{1}{x}}

🔗

39.

lim_{x \to 0^{+}} (2 x)^{x}

🔗

40.

lim_{x \to 0^{+}} (\frac{2}{x})^{x}

🔗

41.

lim_{x \to 0^{+}} (\sin (x))^{x}

🔗

Hint: use the Squeeze Theorem.

🔗

42.

lim_{x \to 1^{-}} (1 - x)^{1 - x}

🔗

43.

lim_{x \to \infty} (x)^{\frac{1}{x}}

🔗

44.

lim_{x \to \infty} (\frac{1}{x})^{x}

🔗

45.

lim_{x \to 1^{+}} (\ln (x))^{1 - x}

🔗

46.

lim_{x \to \infty} (1 + x)^{\frac{1}{x}}

🔗

47.

lim_{x \to \infty} (1 + x^{2})^{\frac{1}{x}}

🔗

48.

lim_{x \to π / 2} \tan (x) \cos (x)

🔗

49.

lim_{x \to π / 2} \tan (x) \sin (2 x)

🔗

50.

lim_{x \to 1^{+}} \frac{1}{\ln (x)} - \frac{1}{x - 1}

🔗

51.

lim_{x \to 3^{+}} \frac{5}{x^{2} - 9} - \frac{x}{x - 3}

🔗

52.

lim_{x \to \infty} x \tan (\frac{1}{x})

🔗

53.

lim_{x \to \infty} \frac{\ln^{3} (x)}{x}

🔗

54.

lim_{x \to 1} \frac{x^{2} + x - 2}{\ln (x)}

🔗

You have attempted 1 of 60 activities on this page.

🔗

Prev Top Next

Section 6.7 L’Hospital’s Rule

Subsection 6.7.1 L’Hospital’s Rule with Indeterminate Forms 0/0 and ∞/∞

Theorem 6.7.2. L’Hospital’s Rule, Part 1.

Example 6.7.3. Using l’Hospital’s Rule.

Theorem 6.7.4. L’Hospital’s Rule, Part 2.

Example 6.7.5. Using l’Hospital’s Rule with limits involving ∞.

Subsection 6.7.2 Indeterminate Forms 0⋅∞ and ∞−∞

Example 6.7.6. Applying l’Hospital’s Rule to other indeterminate forms.

Subsection 6.7.3 Indeterminate Forms ,00, 1∞ and ∞0

Key Idea 6.7.7. Evaluating Limits Involving Indeterminate Forms ,00, 1∞ and ∞0.

Example 6.7.8. Using l’Hospital’s Rule with indeterminate forms involving exponents.

Exercises 6.7.4 Exercises

Terms and Concepts

1.

2.

3.

4.

5.

6.

7.

8.

Problems

Exercise Group.

9.

10.

11.

12.

13.

14.

15.

16.

17.

18.

19.

20.

21.

22.

23.

24.

25.

26.

27.

28.

29.

30.

31.

32.

33.

34.

35.

36.

37.

38.

39.

40.

41.

42.

43.

44.

45.

46.

47.

48.

49.

50.

51.

52.

53.

54.

Subsection 6.7.1 L’Hospital’s Rule with Indeterminate Forms $0 / 0$ and $\infty / \infty$

Example 6.7.5. Using l’Hospital’s Rule with limits involving $\infty$ .

Subsection 6.7.2 Indeterminate Forms $0 \cdot \infty$ and $\infty - \infty$

Subsection 6.7.3 Indeterminate Forms $0^{0},$ $1^{\infty}$ and $\infty^{0}$

Key Idea 6.7.7. Evaluating Limits Involving Indeterminate Forms $0^{0},$ $1^{\infty}$ and $\infty^{0}$ .