Skip to main content
\(\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}}\)
Mathematics LibreTexts

2.8: Using Derivatives to Evaluate Limits

Skills to Develop

In this section, we strive to understand the ideas generated by the following important questions:

  • How can derivatives be used to help us evaluate indeterminate limits of the form 0 0 ?
  • What does it mean to say that \lim_{x→∞} f (x) = L and \lim_{x→a} f (x) = ∞?
  • How can derivatives assist us in evaluating indeterminate limits of the form ∞ ∞ ?

Because differential calculus is based on the definition of the derivative, and the definition of the derivative involves a limit, there is a sense in which all of calculus rests on limits. In addition, the limit involved in the limit definition of the derivative is one that always generates an indeterminate form of \(\frac{0}{0}\). If \(f\) is a differentiable function for which \(f' (x)\) exists, then when we consider:

\[f'(x) = \lim_{h→0}\dfrac{ f (x + h) − f (x)}{ h} \]

it follows that not only does \(h → 0\) in the denominator, but also \((f (x + h) − f (x)) → 0 \) in the numerator, since \(f\) is continuous. Thus, the fundamental form of the limit involved in the definition of \(f'(x)\) is \(\frac{0}{0}\). Remember, saying a limit has an indeterminate form only means that we don’t yet know its value and have more work to do: indeed, limits of the form \(\frac{0}{0}\) can take on any value, as is evidenced by evaluating \(f'(x)\) for varying values of x for a function such as \(f'(x) = x^2\).

Of course, we have learned many different techniques for evaluating the limits that result from the derivative definition, and including a large number of shortcut rules that enable us to evaluate these limits quickly and easily. In this section, we turn the situation upside-down: rather than using limits to evaluate derivatives, we explore how to use derivatives to evaluate certain limits. This topic will combine several different ideas, including limits, derivative shortcuts, local linearity, and the tangent line approximation.

Preview Activity \(\PageIndex{1}\)

Let \(h\) be the function given by \[h(x) = \dfrac{x^5 + x − 2}{ x^2 − 1 }.\]

  1. What is the domain of \(h\)?
  2. Explain why \[\lim_{x→1} h(x)\] results in an indeterminate form. 
  3. Next we will investigate the behavior of both the numerator and denominator of h near the point where x = 1. Let \(f (x) = x^5 + x − 2\) and \(g(x) = x^2 − 1\). Find the local linearizations of \(f\) and \(g\) at \(a = 1\), and call these functions \(L_f (x)\) and \(L_g(x)\), respectively.
  4. Explain why \(h(x) ≈ L_f (x) L_g(x)\) for \(x\) near \(a = 1\).
  5. Using your work from (c) and (d), evaluate \[\lim_{x→1} \dfrac{L_f (x)}{L_g(x)}.\]What do you think your result tells us about lim x→1 h(x)?
  6. Investigate the function \(h(x)\) graphically and numerically near \(x = 1\). What do you think is the value of \(\lim _{x→1} h(x)\)?

 

Using Derivatives to Evaluate Indeterminate limits of the Form \(\frac{0}{0}\)

The fundamental idea of Preview Activity \(\PageIndex{1}\) – that we can evaluate an indeterminate limit of the form 0 0 by replacing each of the numerator and denominator with their local linearizations at the point of interest – can be generalized in a way that enables us to easily evaluate a wide range of limits. We begin by assuming that we have a function \(h(x)\) that can be written in the form \(h(x) = \frac{f (x)}{g(x)}\) where \(f\) and \(g\) are both differentiable at \(x = a\) and for which \(f (a) = g(a) = 0\). We are interested in finding a way to evaluate the indeterminate limit given by \(\lim_{x→a} h(x)\).

Figure \(\PageIndex{1}\): At left, the graphs of f and g near the value a, along with their tangent line approximations L_f and L_g at x = a. At right, zooming in on the point a and the four graphs.

In Figure \(\PageIndex{1}\), we see a visual representation of the situation involving such functions \(f\) and \(g\). In particular, we see that both \(f\) and \(g\) have an x-intercept at the point where \(x = a\). In addition, since each function is differentiable, each is locally linear, and we can find their respective tangent line approximations \(L_f\) and \(L_g\) at \(x = a\), which are also shown in the figure. Since we are interested in the limit of f (x) g(x) as x → a, the individual behaviors of \(f (x)\) and \(g(x)\) as \(x → a\) are key to understand. Here, we take advantage of the fact that each function and its tangent line approximation become indistinguishable as \(x → a\). First, let’s recall that

\[L_f (x) = f'(a)(x − a) + f (a) and L_g(x) = g'(a)(x − a) + g(a).\]

The critical observation we make is that when taking the limit, because x is getting arbitrarily close to a, we can replace f with L_f and replace g with L_g, and thus we observe that

\[\lim_{x→a} f (x) g(x) = \lim_{x→a} L_f (x) L_g(x) = \lim_{x→a} f'(a)(x − a) + f (a) g'(a)(x − a) + g(a) .\]

Next, we remember a key fundamental assumption: that both \(f (a) = 0\) and \(g(a) = 0\), as this is precisely what makes the original limit indeterminate. Substituting these values for \(f (a)\) and \(g(a)\) in the limit above, we now have

\[\lim_{x→a} f (x) g(x) = \lim_{x→a} f'(a)(x − a) g'(a)(x − a) = \lim_{x→a} f'(a) g'(a) ,\]

where the latter equality holds since x is approaching (but not equal to) a, so x−a x−a = 1. Finally, we note that f'(a) g'(a) is constant with respect to \(x\), and thus

\[\lim_{x→a} \dfrac{f (x) }{g(x)} = \dfrac{f'(a) }{g'(a)}.\]

We have, of course, implicitly made the assumption that \(g'(a) \neq 0\), which is essential to the overall limit having the value f'(a) g'(a) . We summarize our work above with the statement of L’Hopital’s Rule, which is the formal name of the result we have shown.

L’Hopital’s Rule

Let \(f\) and \(g\) be differentiable at \(x = a\), and suppose that \(f (a) = g(a) = 0\) and that \(g'(a) \neq 0\). Then

\[\lim_{x→a} \dfrac{f (x)}{ g(x)} = \dfrac{f'(a)}{g'(a)}.\]

In practice, we typically work with a slightly more general version of L’Hopital’s Rule, which states that (under the identical assumptions as the boxed rule above and the extra assumption that g'is continuous at x = a) \lim_{x→a} f (x) g(x) = \lim_{x→a} f'(x) g'(x) , provided the righthand limit exists.

This form reflects the fundamental benefit of L’Hopital’s Rule: if f (x) g(x) produces an indeterminate limit of form 0 0 as x → a, it is equivalent to consider the limit of the quotient of the two functions’ derivatives, f'(x) g'(x) . For example, if we consider the limit from Preview Activity \(\PageIndex{1}\), lim x→1 x 5 + x − 2 x 2 − 1 , by L’Hopital’s Rule we have that

\[\lim_{x→1} \dfrac{x^5 + x − 2}{ x^2 − 1}  = \lim_{x→1} \dfrac{5x^4 + 1}{ 2x} = \dfrac{6}{ 2} = 3. \]

By being able to replace the numerator and denominator with their respective derivatives, we often move from an indeterminate limit to one whose value we can easily determine.

Activity \(\PageIndex{2}\)

Evaluate each of the following limits. If you use L’Hopital’s Rule, indicate where it was used, and be certain its hypotheses are met before you apply it.

  1. \(\lim_{x→0} \dfrac{ \ln(1 + x)}{ x}\)
  2. \(\lim_{x→π} \dfrac{ \cos(x)}{ x}\)
  3. \(\lim_{x→1} \dfrac{2 \ln(x)}{ 1 − e^{ x−1}}\)
  4. \(\lim_{x→0} \dfrac{\sin(x) − x }{\cos(2x) − 1 }\)

While L’Hopital’s Rule can be applied in an entirely aL_gebraic way, it is important to remember that the genesis of the rule is graphical: the main idea is that the slopes of the tangent lines to f and g at x = a determine the value of the limit of f (x) g(x) as \(x → a\). We see this in Figure \(\PageIndex{2}\), which is a modified version of Figure \(\PageIndex{1}\), where we can see from the grid that f'(a) = 2 and g'(a) = −1, hence by L’Hopital’s Rule, \lim_{x→a} f (x) g(x) = f'(a) g'(a) = 2 −1 = −2. Indeed, what we observe is that it’s not the fact that f and g both approach zero that matters most, but rather the rate at which each approaches zero that determines the value of the limit. This is a good way to remember what L’Hopital’s Rule says: if f (a) = g(a) = 0, the the limit of f (x) g(x) as x → a is given by the ratio of the slopes of f and g at x = a.

Figure \(\PageIndex{2}\): Two functions f and g that satisfy L’Hopital’s Rule.

Activity \(\PageIndex{3}\)

In this activity, we reason graphically from the following figure to evaluate limits of ratios of functions about which some information is known.

Figure \(\PageIndex{3}\): Three graphs referenced in the questions of Activity \(\PageIndex{3}\).

  1. Use the left-hand graph to determine the values of f (2), f'(2), g(2), and g'(2). Then, evaluate lim x→2 f (x) g(x) .
  2. Use the middle graph to find p(2), p 0 (2), q(2), and q 0 (2). Then, determine the 154 value of lim x→2 p(x) q(x) .
  3. Use the right-hand graph to compute r(2), r 0 (2), s(2), s 0 (2). Explain why you cannot determine the exact value of lim x→2 r(x) s(x) without further information being provided, but that you can determine the sign of limx→2 r(x) s(x) . In addition, state what the sign of the limit will be, with justification. C

Limits Involving ∞

The concept of infinity, denoted ∞, arises naturally in calculus, like it does in much of mathematics. It is important to note from the outset that ∞ is a concept, but not a number itseL_f. Indeed, the notion of ∞ naturally invokes the idea of limits. Consider, for example, the function f (x) = 1 x , whose graph is pictured in Figure \(\PageIndex{4}\). We note that x = 0 is not

Figure \(\PageIndex{4}\): The graph of f (x) = 1 x .

in the domain of f , so we may naturally wonder what happens as x → 0. As x → 0 + , we observe that f (x) increases without bound. That is, we can make the value of f (x) as large as we like by taking x closer and closer (but not equal) to 0, while keeping x > 0. This is a good way to think about what infinity represents: a quantity is tending to infinity if there is no single number that the quantity is always less than. Recall that when we write \lim_{x→a} f (x) = L, this means that can make f (x) as close to L as we’d like by taking x sufficiently close (but not equal) to a. We thus expand this notation and language to include the possibility that either L or a can be ∞. For instance, for f (x) = 1 x , we now write lim x→0 + 1 x = ∞, by which we mean that we can make 1 x as large as we like by taking x sufficiently close (but not equal) to 0. In a similar way, we naturally write \lim_{x→∞} 1 x = 0, since we can make 1 x as close to 0 as we’d like by taking x sufficiently large (i.e., by letting x increase without bound). In general, we understand the notation \lim_{x→a} f (x) = ∞ to mean that we can make f (x) as large as we’d like by taking x sufficiently close (but not equal) to a, and the notation \lim_{x→∞} f (x) = L to mean that we can make f (x) as close to L as we’d like by taking x sufficiently large. This notation applies to left- and right-hand limits, plus we can also use limits involving −∞. For example, returning to Figure \(\PageIndex{4}\) and f (x) = 1 x , we can say that lim x→0 − 1 x = −∞ and limx→−∞ 1 x = 0. Finally, we write \lim_{x→∞} f (x) = ∞ when we can make the value of f (x) as large as we’d like by taking x sufficiently large. For example, \lim_{x→∞} x 2 = ∞. Note particularly that limits involving infinity identify vertical and horizontal asymptotes of a function. If \lim_{x→a} f (x) = ∞, then x = a is a vertical asymptote of f , while if \lim_{x→∞} f (x) = L, then y = L is a horizontal asymptote of f . Similar statements can be made using −∞, as well as with left- and right-hand limits as x → a − or x → a + .

In precalculus classes, it is common to study the end behavior of certain families of functions, by which we mean the behavior of a function as x → ∞ and as x → −∞. Here we briefly examine a library of some familiar functions and note the values of several limits involving ∞. For the natural exponential function e x , we note that \lim_{x→∞} e x = ∞ and limx→−∞ e x = 0, while for the related exponential decay function e −x , observe that these limits are reversed, with \lim_{x→∞} e −x = 0 and limx→−∞ e −x = ∞. Turning to the natural logarithm function, we have limx→0 + ln(x) = −∞ and \lim_{x→∞} ln(x) = ∞. While both e x and ln(x) grow without bound as x → ∞, the exponential function does so much more quickly than 156 the logarithm function does. We’ll soon use limits to quantify what we mean by “quickly.”

Figure \(\PageIndex{5}\): Graphs of some familiar functions whose end behavior as x → ±∞ is known. In the middle graph, f (x) = x 3 − 16x and g(x) = x 4 − 16x 2 − 8.

For polynomial functions of the form p(x) = an x n + an−1 x n−1 + · · · a1 x + a0, the end behavior depends on the sign of an and whether the highest power n is even or odd. If n is even and an is positive, then \lim_{x→∞} p(x) = ∞ and limx→−∞ p(x) = ∞, as in the plot of g in Figure \(\PageIndex{5}\). If instead an is negative, then \lim_{x→∞} p(x) = −∞ and limx→−∞ p(x) = −∞. In the situation where n is odd, then either \lim_{x→∞} p(x) = ∞ and limx→−∞ p(x) = −∞ (which occurs when an is positive, as in the graph of f in Figure \(\PageIndex{5}\)), or \lim_{x→∞} p(x) = −∞ and limx→−∞ p(x) = ∞ (when an is negative). A function can fail to have a limit as x → ∞. For example, consider the plot of the sine function at right in Figure \(\PageIndex{5}\). Because the function continues oscillating between −1 and 1 as x → ∞, we say that \lim_{x→∞} sin(x) does not exist. Finally, it is straightforward to analyze the behavior of any rational function as x → ∞. Consider, for example, the function q(x) = 3x 2 − 4x + 5 7x 2 + 9x − 10 . Note that both (3x 2−4x +5) → ∞ as x → ∞ and (7x 2+9x −10) → ∞ as x → ∞. Here we say that \(\lim_{x→∞} q(x)\) has indeterminate form ∞ ∞ , much like we did when we encountered limits of the form 0 0 . We can determine the value of this limit through a standard aL_gebraic approach. Multiplying the numerator and denominator each by 1 x 2 , we find that

\[\lim_{x→∞} q(x) = \lim_{x→∞} \dfrac{3x^2 − 4x + 5}{7x^2 + 9x − 10} \cdot \dfrac{ \dfrac{ 1}{ x^2}}{\dfrac{1}{ x^2}}  \\ = \lim_{x→∞} \dfrac{3 − 4 \dfrac{1}{x} + 5 \dfrac{1}{ x^2} }{ 7 + 9 \dfrac{1}{ x} − 10 \dfrac{1}{ x^ 2}} = \dfrac{3}{7} \]

since \(\frac{1}{x^ 2} → 0\) and \(\frac{1}{x} → 0\) as \(x → ∞\). This shows that the rational function \(q\) has a horizontal asymptote at \(y = \frac{3}{7}\). A similar approach can be used to determine the limit of any rational function as \(x → ∞\).

But how should we handle a limit such as

\[\lim_{x→∞} \dfrac{x^2 }{e^x} ? \label{H3}\]

Here, both \(x^2 → ∞\0 and \(e^ x → ∞\), but there is not an obvious algebraic approach that enables us to find the limit’s value. Fortunately, it turns out that L’Hopital’s Rule extends to cases involving infinity.

L’Hopital’s Rule (∞)

If \(f\) and \(g\) are differentiable and both approach zero or both approach ±∞ as \(x → a\) (where \(a\) is allowed to be ∞) , then

\[\lim_{x→a} \dfrac{f (x)}{ g(x)} = \lim_{x→a} \dfrac{f ' (x)}{ g' (x)} .\]

To be technically correct, we need to the additional hypothesis that \(g'(x) \neq 0\) on an open interval that contains \(a\) or in every neighborhood of infinity if \(a\) is ∞; this is almost always met in practice.

To evaluate the limit in Equation \ref{H3}, we observe that we can apply L’Hopital’s Rule, since both \(x^2 → ∞\) and \(e^x → ∞\). Doing so, it follows that

\[\lim_{x→∞} \dfrac{x^ 2}{ e^ x} = \lim_{x→∞} \dfrac{2x}{ e^ x} .\]

This updated limit is still indeterminate and of the form ∞ ∞ , but it is simpler since \(2x\) has replaced \(x^2\). Hence, we can apply L’Hopital’s Rule again, by which we find that

\[\lim_{x→∞} \dfrac{x^2}{ e^x} = \lim_{x→∞} \dfrac{2x}{ e^x} = \lim_{x→∞} \dfrac{2}{ e^ x}. \]

Now, since 2 is constant and e x → ∞ as x → ∞, it follows that 2 e x → 0 as x → ∞, which shows that \lim_{x→∞} x 2 e x = 0.

Activity \(\PageIndex{4}\)

Evaluate each of the following limits. If you use L’Hopital’s Rule, indicate where it was used, and be certain its hypotheses are met before you apply it.

  1. \(\lim_{x→∞} x ln(x)\)
  2. \(\lim_{x→∞} e^ x + x 2e x + x 2\)
  3. \(lim_{x→0} + \ln(x) 1 x\)
  4. \(lim_{x→ π} 2 − \tan(x) x − π 2\)
  5. \(\lim_{x→∞} xe−x\)

When we are considering the limit of a quotient of two functions f (x) g(x) that results in an indeterminate form of ∞ ∞ , in essence we are asking which function is growing faster without bound. We say that the function g dominates the function f as x → ∞ provided that

\[\lim_{x→∞} \dfrac{ f (x)}{g(x)} = 0,\]

whereas \(f\) dominates \(g\) provided that \lim_{x→∞} f (x) g(x) = ∞. Finally, if the value of

\[\lim_{x→∞} \dfrac{f (x)}{ g(x)}\]

is finite and nonzero, we say that f and g grow at the same rate. For example, from earlier work we know that \lim_{x→∞} x 2 e x = 0, so e x dominates x 2 , while

\[\lim_{x→∞} 3x 2−4x+5 7x 2+9x−10 = 3 7 ,\]

so

\[f (x) = 3x 2 − 4x + 5\]

and

\[g(x) = 7x 2 + 9x − 10\]

grow at the same rate.

Summary

In this section, we encountered the following important ideas:

  • Derivatives be used to help us evaluate indeterminate limits of the form 0 0 through L’Hopital’s Rule, which is developed by replacing the functions in the numerator and denominator with their tangent line approximations. In particular, if f (a) = g(a) = 0 and f and g are differentiable at a, L’Hopital’s Rule tells us that \lim_{x→a} f (x) g(x) = \lim_{x→a} f'(x) g'(x) .
  • When we write x → ∞, this means that x is increasing without bound. We thus use ∞ along with limit notation to write \lim_{x→∞} f (x) = L, which means we can make f (x) as close to L as we like by choosing x to be sufficiently large, and similarly \lim_{x→a} f (x) = ∞, which means we can make f (x) as large as we like by choosing x sufficiently close to a.
  • A version of L’Hopital’s Rule also allows us to use derivatives to assist us in evaluating indeterminate limits of the form ∞ ∞ . In particular, If f and g are differentiable and both 159 approach zero or both approach ±∞ as x → a (where a is allowed to be ∞), then \lim_{x→a} f (x) g(x) = \lim_{x→a} f'(x) g'(x) .

Contributors

Matt Boelkins (Grand Valley State University), David Austin (Grand Valley State University), Steve Schlicker (Grand Valley State University)