§ 01The Statement of L'Hôpital's Rule
Named after the French mathematician Guillaume de l'Hôpital (1661–1704), this rule transforms a ratio of functions into a ratio of their derivatives: but only under specific conditions.
Suppose f and g are differentiable on an open interval containing a (except possibly at a itself), and that g′(x) ≠ 0 near a. If the limit of f(x)/g(x) as x → a produces an indeterminate form (specifically 0/0 or ∞/∞) then:
and the original limit is of the form 0/0 or ∞/∞
This looks deceptively simple: but every word in the conditions matters. Let's unpack exactly what is required before we can apply it.
§ 02The Four Conditions — When You CAN Use It
L'Hôpital's Rule is not a universal limit shortcut. It applies only when all four of the following conditions hold:
Checklist Before Applying L'Hôpital's Rule
- The form is 0/0 or ∞/∞. These are the only two forms the rule directly handles. Other indeterminate forms (0·∞, ∞−∞, 1∞, 0⁰, ∞⁰) must first be converted into 0/0 or ∞/∞.
- Both f and g are differentiable near a. If either function has a corner, cusp, or is not differentiable near a, the rule may not apply.
- g′(x) ≠ 0 near a (except possibly at a). If g′ = 0 throughout a neighbourhood of a, the rule fails.
- The new limit lim f′/g′ must exist (or equal ±∞). If the differentiated limit also diverges in an oscillatory way, the rule is inconclusive, not wrong, just unhelpful.
Substituting x = 2 gives 5/5 = 1. This is a determinate form: direct substitution works perfectly.
§ 03Applying the Rule — 0/0 Forms
The most common application is resolving 0/0 indeterminate forms that resist factoring or other algebraic approaches. The three-step process is: confirm the form, differentiate top and bottom separately, evaluate.
3-Step Process
- Confirm: Substitute x = a and verify you get 0/0 or ∞/∞.
- Differentiate: Find f′(x) and g′(x) separately. Do NOT use the quotient rule, this is not d/dx[f/g].
- Evaluate: Take limx→a f′(x)/g′(x). If still indeterminate, apply the rule again.
Substituting x = 0: sin(0)/0 = 0/0. ✓ Indeterminate, apply the rule.
- f(x) = sin(x) → f′(x) = cos(x)
- g(x) = x → g′(x) = 1
- limx→0 cos(x)/1 = cos(0)/1 = 1
At x = 0: (1 − 1)/0 = 0/0. ✓
- f′(x) = eˣ, g′(x) = 1
- limx→0 eˣ/1 = e⁰ = 1
At x = 0: 0/0. ✓
- f′(x) = sin x, g′(x) = 2x → still 0/0 at x = 0. Apply again.
- f′′(x) = cos x, g′′(x) = 2
- limx→0 cos x / 2 = 1/2
At x = 1: ln(1)/(1−1) = 0/0. ✓
- f′(x) = 1/x, g′(x) = 1
- limx→1 (1/x)/1 = 1/1 = 1
At x = 0: 0/0. Apply repeatedly until resolved.
- 1st application: (1 − cos x)/(3x²) → 0/0 at x = 0.
- 2nd application: sin x/(6x) → 0/0 at x = 0.
- 3rd application: cos x/6 → cos(0)/6 = 1/6
§ 04The ∞/∞ Form — Comparing Rates of Growth
L'Hôpital's Rule applies equally to ∞/∞ forms, making it the fastest way to establish the dominance hierarchy: which functions grow faster as x → ∞.
As x → ∞: ln x → ∞ and x → ∞. Form is ∞/∞. ✓
- f′(x) = 1/x, g′(x) = 1
- limx→∞ (1/x)/1 = limx→∞ 1/x = 0
Both → ∞. Apply the rule twice.
- 1st: 2x/eˣ, still ∞/∞.
- 2nd: 2/eˣ → 2/∞ = 0
Both polynomials → ∞. Apply the rule twice (or just compare leading terms).
- 1st: (6x + 5)/(4x − 1): still ∞/∞.
- 2nd: 6/4 = 3/2
L'Hôpital confirms: any ratio of adjacent types → 0 (slower on top) or ∞ (faster on top).
§ 05Converting Other Indeterminate Forms
The other five indeterminate forms cannot be fed directly into L'Hôpital's Rule: they must first be rearranged into 0/0 or ∞/∞. Here is the conversion strategy for each.
Converting 0 · ∞
Rewrite the product as a fraction by moving one factor to the denominator as its reciprocal. Choose the reciprocal that creates a 0/0 or ∞/∞ form.
0 · ∞ Conversion
- f(x) · g(x) where f → 0 and g → ∞
- Rewrite as: f(x) / (1/g(x)) → 0/0 or g(x) / (1/f(x)) → ∞/∞
- Apply L'Hôpital to the resulting fraction
Form: 0 · (−∞). Rewrite x as 1/(1/x):
- limx→0⁺ ln(x) / (1/x), form is −∞/∞. ✓
- f′(x) = 1/x, g′(x) = −1/x²
- (1/x) / (−1/x²) = (1/x) · (−x²) = −x
- limx→0⁺ (−x) = 0
Converting 1∞, 0⁰, and ∞⁰ — The ln Trick
When the limit has the form [f(x)]g(x) and produces 1∞, 0⁰, or ∞⁰, take the natural logarithm first. Since ln is continuous, the limit of ln[fg] = limit of g·ln(f), which is a 0·∞ form we can then convert to a fraction.
The ln Trick for Exponential Indeterminate Forms
- Let L = lim [f(x)]g(x)
- Take ln: ln L = lim g(x) · ln f(x), now a 0 · ∞ form
- Convert to a fraction and apply L'Hôpital
- Get the value of ln L, call it k
- Therefore L = ek
Form: 1∞. Apply the ln trick.
- Let y = (1 + 1/x)ˣ. Then ln y = x · ln(1 + 1/x), form 0·∞ (since 1/x → 0, x → ∞).
- Rewrite: ln(1 + 1/x) / (1/x), form 0/0. ✓
- Differentiate top: d/dx ln(1+1/x) = (−1/x²)/(1+1/x) = −1/(x²+x)
- Differentiate bottom: d/dx (1/x) = −1/x²
- Ratio: [−1/(x²+x)] / [−1/x²] = x²/(x²+x) = x/(x+1)
- limx→∞ x/(x+1) = 1, so ln L = 1, therefore L = e1 = e
Form: 0⁰. Apply the ln trick.
- Let y = xˣ. Then ln y = x · ln x, this is 0·(−∞), handled in Example 9.
- From Example 9: limx→0⁺ x · ln x = 0
- So ln L = 0, therefore L = e⁰ = 1
Converting ∞ − ∞
Combine into a single fraction over a common denominator. This usually converts the form to 0/0.
Form: ∞ − ∞. Combine over common denominator x·sin x.
- (x − sin x) / (x · sin x), form 0/0 at x = 0. ✓
- Apply L'Hôpital: (1 − cos x) / (sin x + x cos x), still 0/0.
- Apply again: sin x / (cos x + cos x − x sin x) = sin x / (2cos x − x sin x)
- Substitute x = 0: 0 / (2 − 0) = 0
§ 06Applying the Rule Repeatedly
If after one application of L'Hôpital's Rule the new limit is still an indeterminate form, you may apply the rule again. There is no limit to how many times you can repeat it: as long as each new form is 0/0 or ∞/∞ and the differentiability conditions remain satisfied.
At x = 0: 0/0. Apply up to three times.
- 1st: (eˣ − 1 − x) / (3x²) → 0/0
- 2nd: (eˣ − 1) / (6x) → 0/0
- 3rd: eˣ / 6 → e⁰/6 = 1/6
§ 07Further Worked Examples
At x = π: sin(π)/(π−π) = 0/0. ✓
- f′(x) = cos(x), g′(x) = −1
- limx→π cos(x)/(−1) = cos(π)/(−1) = (−1)/(−1) = 1
As x → 0⁺: x → 0 and sin x → 0. Form: 0⁰. Apply the ln trick.
- ln y = sin(x) · ln(x), form 0 · (−∞). Rewrite as ln(x)/csc(x) → −∞/∞. ✓
- f′(x) = 1/x, g′(x) = −csc(x)cot(x)
- Ratio: (1/x) / (−csc x cot x) = −sin(x)tan(x)/x
- As x → 0⁺: sin(x)/x → 1 and tan(x) → 0, so the product → 1 · 0 = 0
- ln L = 0, therefore L = e⁰ = 1
§ 08Common Mistakes
| Mistake | What Goes Wrong | Fix |
|---|---|---|
| Using the rule on a determinate form | lim (x²+1)/(x+3) at x=2 is 5/5 = 1, not indeterminate. Applying the rule gives the wrong answer 4. | Always substitute first. Only proceed with L'Hôpital if you get 0/0 or ∞/∞. |
| Applying the Quotient Rule instead of differentiating separately | d/dx[f/g] ≠ f′/g′. The quotient rule gives (f′g − fg′)/g². L'Hôpital's Rule uses f′/g′ — the derivatives of the numerator and denominator independently. | Differentiate numerator alone, denominator alone. Never cross-multiply. |
| Forgetting to check the conditions after each application | After one application, the new form might not be 0/0 or ∞/∞ anymore — direct substitution may now work. | After each application, substitute and check. Stop applying as soon as the form is determinate. |
| Applying the rule directly to 0·∞, 1∞, or ∞−∞ | These forms are not covered by the rule. Applying it directly gives nonsense. | Convert to 0/0 or ∞/∞ first using the algebraic techniques in §05. |
| Concluding a limit doesn't exist when lim f′/g′ oscillates | If lim f′/g′ doesn't exist (e.g. oscillates), L'Hôpital is inconclusive — the original limit may still exist. | Try a completely different method. L'Hôpital's Rule failing is not evidence the limit fails. |
§ 09Quick Reference — Key Results via L'Hôpital
| Limit | Form | Result |
|---|---|---|
| limx→0 sin(x)/x | 0/0 | 1 |
| limx→0 (eˣ−1)/x | 0/0 | 1 |
| limx→0 (1−cos x)/x² | 0/0 twice | 1/2 |
| limx→1 ln(x)/(x−1) | 0/0 | 1 |
| limx→0 (x−sin x)/x³ | 0/0 three times | 1/6 |
| limx→∞ ln(x)/x | ∞/∞ | 0 |
| limx→∞ xⁿ/eˣ (any n) | ∞/∞ n times | 0 |
| limx→0⁺ x·ln(x) | 0·∞ → 0/0 | 0 |
| limx→∞ (1+1/x)ˣ | 1∞ → ln trick | e |
| limx→0⁺ xˣ | 0⁰ → ln trick | 1 |
§ 10Practice Quiz — L'Hôpital's Rule
10 questions spanning the rule statement, conditions, 0/0, ∞/∞, and converted forms. Immediate feedback on every answer.
L'Hôpital's Rule states lim f/g = lim f′/g′. Which forms does it directly apply to?
L'Hôpital's Rule directly handles only 0/0 and ∞/∞. All other indeterminate forms (0·∞, ∞−∞, 1∞, 0⁰, ∞⁰) must first be converted into one of these two forms.
Evaluate: limx→0 sin(3x) / x
Form 0/0. f′ = 3cos(3x), g′ = 1. At x=0: 3cos(0)/1 = 3·1 = 3.
A student evaluates limx→3 (x²+1)/(x−1) using L'Hôpital and gets 2x/1 = 6. What is wrong?
Substituting x=3: (9+1)/(3−1) = 10/2 = 5. This is determinate. L'Hôpital cannot be used here and gives the wrong answer. The correct answer is 5.
Evaluate: limx→0 (eˣ − 1 − x) / x²
- Form 0/0. 1st application: (eˣ−1)/(2x), still 0/0.
- 2nd application: eˣ/2. At x=0: 1/2 = 0.5.
Which is the correct first step to evaluate limx→0⁺ x · ln(x)?
0·∞ cannot be fed directly into L'Hôpital. Rewrite as ln(x)/(1/x) to get −∞/∞, which the rule handles. Differentiating: (1/x)/(−1/x²) = −x → 0.
Evaluate: limx→∞ ln(x) / √x
Form ∞/∞. f′ = 1/x, g′ = 1/(2√x). Ratio: (1/x)/(1/(2√x)) = 2√x/x = 2/√x → 0 as x→∞.
To evaluate limx→∞ (1 + 2/x)x using the ln trick, we get ln L = lim x·ln(1+2/x). What does this limit equal?
Rewrite as ln(1+2/x)/(1/x) → 0/0. Differentiate: top = (−2/x²)/(1+2/x), bottom = −1/x². Ratio → 2 as x→∞. So ln L = 2, meaning L = e².
Evaluate: limx→0 (tan x − x) / x³
- 0/0. 1st: (sec²x − 1)/(3x²) = tan²x/(3x²) → 0/0
- 2nd: 2tan x · sec²x / (6x) → 0/0
- 3rd: (2sec⁴x + 4tan²x·sec²x)/6. At x=0: 2(1)+0)/6 = 2/6 = 1/3 ≈ 0.333
If after applying L'Hôpital's Rule the new limit lim f′/g′ oscillates and does not exist, what can you conclude about lim f/g?
L'Hôpital is inconclusive when lim f′/g′ fails to exist. The original limit may still exist: a classic example is limx→∞ (x + sin x)/x = 1, even though after differentiation lim (1 + cos x)/1 oscillates.
What is limx→0⁺ xˣ?
Form 0⁰. Let y = xˣ. ln y = x·ln x → 0 (from Example 9). So ln L = 0, giving L = e⁰ = 1.
Quiz complete!