L'Hôpital's Rule: When It Applies and Four Worked Limits

You substitute the target value into a fraction and see . Should you differentiate its top and bottom? Sometimes. First you should ask whether the expression simplifies by ordinary algebra, whether the numerator and denominator really form an eligible pair, and whether differentiating makes the limit easier. L'Hôpital's rule is a conditional theorem, not a command to differentiate every fraction with a troublesome denominator.
This guide puts an eligibility table before the calculations, then follows it through four worked limits. One is faster by factoring, one is outside the rule altogether, one uses the rule at infinity, and one becomes eligible only after taking logarithms. If the idea of a limit is new, read our limits guide first. The derivative guide covers the other prerequisite.
Eligibility before differentiation
At the target, inspect the numerator and denominator separately. Direct L'Hôpital applies to quotients of the forms or , subject to the theorem's other conditions. It does not directly apply to , , , or a power such as . Some of those other forms can be rewritten as an eligible quotient; some need a different method.
| Case in this guide | Initial form | Direct L'Hôpital? | Better first move |
|---|---|---|---|
| as | Eligible, but unnecessary | Factor and cancel for | |
| as | No | Compare the one-sided limits | |
| as | Yes | Compare leading powers or differentiate | |
| as | No, not directly | Take a logarithm, then test its quotient |
The rule, in a common form, says that under its hypotheses,
provided the right-hand limit exists as a finite or appropriate infinite limit. Near the approach point, and must be differentiable on the relevant punctured interval, and must be nonzero there. The original pair must both tend to zero or both grow without bound in the permitted direction. The same logic can be used for a one-sided limit or a limit at infinity when its corresponding hypotheses hold. OpenStax Calculus, Volume 1, §4.8 gives the theorem and transformations; Paul's Online Notes emphasizes checking the form before applying it.
If the limit of does not exist, that attempt may simply be inconclusive; it does not by itself prove that the original limit fails to exist. Conversely, seeing after substitution is only the first check. The functions and derivative denominator must still satisfy the theorem near the point. Throughout the examples we stay on the relevant domain and state which direction approaches from.
Case 1: algebra solves a 0/0 limit first
Consider
Both numerator and denominator tend to zero, so the form is . The first table row says the rule could apply, but factoring is simpler. For ,
The fraction is undefined at , but a limit uses neighboring values. On those values it equals , so the limit is . As a cross-check, differentiating numerator and denominator separately would give . The two approaches agree, but the factorization makes the removable hole and the reason for cancellation visible.
There is a useful choice here: eligible does not mean best. Factoring, rationalizing, or simplifying a complex fraction often removes the obstacle before derivatives are needed. The existing limits explanation uses a different removable-hole example to explain why the value at the hole need not equal the limit. Here the decision is which valid method is shortest and clearest.
Case 2: 5/0 is not an indeterminate form
Now take
The numerator tends to , not zero or infinity, while the denominator tends to zero. This is the second table row, , so L'Hôpital's rule does not apply. Direction settles the limit: as , ; as , . The two-sided limit therefore does not exist, though each one-sided behavior is clear.
Blindly differentiating the top and bottom would produce , a false answer. That result is not a failed use of the theorem; it is a calculation made without satisfying the theorem. Do the eligibility check before any differentiation. The sign of the denominator on each side often tells you more than another line of algebra.
This example also shows why “the denominator approaches zero” is not enough to diagnose a limit. Compare it with Case 1: both denominators tend to zero, but the numerator in Case 1 also tends to zero, and the quotient approaches a finite value. The initial form determines which methods are available; sidedness determines whether a two-sided answer exists.
Case 3: infinity over infinity
Let in
The numerator and denominator both grow toward , giving the eligible form in the third table row. For sufficiently large positive , the denominator and its derivative are nonzero. Differentiate the numerator and denominator separately:
The final step follows because . Notice that one application was enough; do not keep differentiating after the new quotient has a clear limit. A direct algebra check is even shorter: divide the original numerator and denominator by to get . Both methods show that the leading quadratic coefficients control this example.
This comparison matters when choosing a method. Differentiation is helpful when it simplifies the quotient. If dividing by the highest power of settles the limit immediately, use that. L'Hôpital's rule is valid here but does not make the simpler algebra invalid or inferior.
Case 4: a power needs a logarithmic rewrite
Consider the positive expression as , with and . The base tends to while the exponent grows in magnitude, producing the indeterminate power form . This is not a quotient, so the fourth table row says not to apply L'Hôpital directly to the power.
Set and take natural logarithms on its positive domain:
Now both numerator and denominator of the logarithmic quotient tend to zero. Near zero, both are differentiable, and the derivative of the denominator is . Apply the rule to this quotient:
Exponentiation is continuous, so the original limit is . The expression approaches the same value from both sides within . The essential distinction is that L'Hôpital evaluated the limit of , not the power directly. Our guide to Euler's number develops why limits involving appear throughout calculus.
Do not take logarithms of an expression that can be nonpositive without checking its domain. Here near zero, so the logarithm is legitimate. The log step changes the problem into a quotient; the exponentiation step changes the answer back. Omitting either step leaves the argument incomplete.
Do not confuse two different derivative operations
L'Hôpital's rule compares the limit of with the limit of . The quotient rule, by contrast, computes the derivative of the entire function :
These are different objects. In Case 1, the fraction equals for , so its ordinary derivative nearby is . But its limit as is . Substituting the quotient-rule derivative for would therefore answer the wrong question. Likewise, applying to Case 2 gave a wrong result because the theorem's initial form was absent.
A quick decision routine is: substitute or inspect the two parts, name the form, simplify if possible, check the domain and theorem conditions, then differentiate top and bottom separately only if the eligible quotient still benefits from it. Keep the approach direction in the notation. For practice, change Case 3 to and check its form and answer afresh. Math Zen's limits topic and derivatives topic cover the underlying skills one problem at a time.
Frequently asked questions
Can I use L'Hôpital whenever substitution gives ? It is a candidate, not an automatic instruction. Check differentiability on the relevant punctured neighborhood, a nonzero denominator derivative there, and whether the derivative quotient has a suitable limit. Try simple algebra first.
Can the rule be applied more than once? Yes, if the new quotient again satisfies the conditions and another application helps. Recheck the new form each time. Stop as soon as an ordinary limit calculation is available.
Why not use the quotient rule? The quotient rule finds the derivative of . L'Hôpital compares limits of and under special conditions. The two operations are not interchangeable.
What if the numerator does not tend to zero? If the denominator tends to zero while the numerator tends to a nonzero finite value, the form is not . Examine the sign and one-sided behavior instead, as in near zero.


