L'Hôpital's Rule

A theorem that resolves 0 / 0 and ∞ / ∞ by differentiating numerator and denominator separately, the conditions that make it apply, the other indeterminate forms that must be rewritten as quotients first, and the cases where it gives a wrong answer or no answer at all.

Definition

The rule. Suppose f and g are differentiable near a with g ′ ( x ) ≠ 0 near a , and that

lim x → a f ( x ) = lim x → a g ( x ) = 0 or lim x → a | f ( x ) | = lim x → a | g ( x ) | = ∞ .

Then

lim x → a f ( x ) g ( x ) = lim x → a f ′ ( x ) g ′ ( x )

whenever the right-hand limit exists or is ± ∞ . The point a may be a real number, a one-sided approach, or ± ∞ .

What is differentiated. The numerator and the denominator, separately. This is not the quotient rule, and no g 2 appears. The rule replaces one quotient by the quotient of the derivatives.

Repeated application. If f ′ / g ′ is again of an indeterminate form, the rule may be applied again, provided the hypotheses hold at each stage. lim x → ∞ x 2 / e x needs two applications: 2 x / e x is still ∞ / ∞ , and 2 / e x tends to 0.

The other indeterminate forms. The rule applies only to quotients. The remaining forms are rewritten first:

FormRewrite
0 ⋅ ∞ f 1 / g or g 1 / f , giving 0 / 0 or ∞ / ∞
∞ − ∞ combine over a common denominator
1 ∞ , 0 0 , ∞ 0 take logarithms, resolve, then exponentiate

What the rule is not. It does not apply to a quotient that is not indeterminate. lim x → 0 x + 1 x + 2 = 1 2 by substitution, while differentiating top and bottom gives 1 / 1 = 1 . A wrong answer produced by applying a theorem whose hypothesis fails.

It may also fail to help even where it applies: if f ′ / g ′ has no limit, the rule is silent, and the original limit may still exist. Applied to e x + e − x e x − e − x as x → ∞ it cycles between two expressions forever, while dividing through by e x settles the limit as 1 immediately.

Assumptions and scope

  • The rule applies only to 0 / 0 and ∞ / ∞ . On any other quotient it produces a number that is not the limit.

  • The numerator and denominator are differentiated separately. It is not the quotient rule, and no g 2 appears.

  • The hypotheses must hold at every application. Repeating the rule on a form that is no longer indeterminate reintroduces the same error.

  • If f ′ / g ′ has no limit, the rule is silent: it does not follow that the original limit fails to exist.

  • Other indeterminate forms must be rewritten as quotients first. Applying the rule directly to a product or a difference has no meaning.

  • Using the rule for lim x → 0 sin ⁡ x x is circular, since the derivative of sin is established from that limit.

Worked material

Example

One limit of each form

0 0 — lim x → 0 e x − 1 x = 1 . The template case. Differentiating gives e x / 1 → 1 , and the values 1.0517 , 1.00502 , 1.00050 confirm it. No algebra clears this one: e x − 1 has no factor of x to cancel.

0 0 with a rate ratio — lim x → 0 sin ⁡ 3 x x = 3 . Differentiating gives 3 cos ⁡ 3 x → 3 . The answer is the ratio of the speeds at which the two functions leave zero, and the 3 comes from the chain rule on the numerator.

∞ ∞ — lim x → ∞ ln ⁡ x x = 0 . Differentiating gives 1 / x 1 → 0 . The values fall 0.2303 , 0.04605 , 0.000921 , 0.0000138 at x = 10 , 10 2 , 10 4 , 10 6 . This is the standard statement that logarithmic growth loses to linear growth, and the same argument beats any positive power.

∞ ∞ needing two passes — lim x → ∞ x 2 e x = 0 . One application gives 2 x e x , still indeterminate; a second gives 2 e x , which is not, so the limit is read directly. The values 0.1684 , 0.00454 , 8.24 × 10 − 7 at x = 5 , 10 , 20 show the exponential winning comfortably. For x n / e x the same argument takes n passes.

0 ⋅ ∞ — lim x → 0 + x ln ⁡ x = 0 . Not a quotient, so it is rewritten as ln ⁡ x 1 / x before the rule applies. The values − 0.2303 , − 0.04605 , − 0.0069 , − 0.0000138 climb to 0 from below: x reaches zero faster than ln ⁡ x reaches − ∞ .

**A quotient that is not indeterminate, lim x → 0 x + 1 x + 2 = 1 2 .** Substitution settles it, and the rule must not be used. Applying it anyway returns 1 / 1 = 1 , wrong by a factor of two. It sits beside the others as the case that looks identical in shape and differs entirely in what it permits.

Where the rule is silent — lim x → ∞ x + sin ⁡ x x = 1 . The form is ∞ / ∞ , and the remaining conditions hold: both parts are differentiable and the denominator's derivative is the constant 1 . So the rule applies legitimately, and differentiating gives 1 + cos ⁡ x , which oscillates between 0 and 2 and has no limit. The theorem therefore says nothing. The original limit exists regardless, since sin ⁡ x x → 0 leaves 1 + 0 .

Two forms are handled directly, one after a rewrite, one only by stopping at the right moment, and two not at all, once because the hypothesis fails and once because the conclusion's condition fails. Reading which case is in front of you is the skill; the differentiation is the easy part.

Non-example

Four ways to misuse the rule

Applying it to a determinate quotient. lim x → 0 x + 1 x + 2 . Substitution gives 1 2 . The numerator tends to 1, not 0, so the form is not indeterminate and the rule's hypothesis fails.

Applying it anyway gives 1 1 = 1 . The values 0.5238 , 0.5025 , 0.5000 at x = 0.1 , 0.01 , 0 show which answer is right. Nothing about the functions is pathological: both are differentiable everywhere and the denominator's derivative never vanishes. The single missing hypothesis is enough to make the conclusion false.

This is the error to guard against, because it produces a plausible wrong number rather than an obvious failure.

Using the quotient rule by mistake. For lim x → 0 e x − 1 x , the rule calls for ( e x − 1 ) ′ ( x ) ′ = e x 1 . Computing instead the derivative of the quotient,

x e x − ( e x − 1 ) x 2 ,

answers a different question entirely. It is the slope of the function whose limit was wanted, not the limit. The theorem replaces a quotient by a quotient of derivatives; it does not differentiate the quotient.

Continuing after the form becomes determinate. For lim x → ∞ x 2 e x , two applications give 2 e x , whose limit is 0. A third application would give 0 e x = 0 . The same answer here by luck, since the numerator is constant. But the habit is the Step 1 error in disguise, and on a quotient like x + 1 x + 2 reached mid-problem it changes the answer.

The discipline is to re-check the form before every application, not only the first.

Concluding non-existence when the rule is silent. lim x → ∞ x + sin ⁡ x x . The form is ∞ / ∞ and the remaining conditions hold, so the rule applies, and differentiating gives 1 + cos ⁡ x , which oscillates between 0 and 2 forever. No limit.

It does not follow that the original limit fails to exist. Writing the expression as 1 + sin ⁡ x x and using | sin ⁡ x | ≤ 1 gives sin ⁡ x x → 0 by squeezing, so the limit is exactly 1. The theorem's third hypothesis is a condition on its conclusion: when f ′ / g ′ has no limit, the theorem is simply inapplicable, and says nothing in either direction.

Using it circularly. lim x → 0 sin ⁡ x x is 0 / 0 , and the rule gives cos ⁡ x 1 → 1 , which is correct. But d d x sin ⁡ x = cos ⁡ x is proved from this limit, so the argument assumes what it sets out to establish. The correct route is the squeeze theorem with cos ⁡ x ≤ sin ⁡ x x ≤ 1 , whose bounds both tend to 1, checked at x = 0.1 : 0.99500 ≤ 0.99833 ≤ 1 .

The rule is not wrong here; it is unavailable as a proof, and that distinction decides what the calculation establishes.

Common errors

Common misconception

L'Hôpital's rule applies to any quotient of differentiable functions, so a limit of a fraction can always be found by differentiating the top and bottom.

Related units

Requires

Learn this topic

Used in

Sources

Results update as you type. Use the up and down arrow keys to move between results, Enter to open one, and Escape to close.

Type to search.

Settings

Appearance

Interface density

Your record

Your progress is stored in this browser and nowhere else: an identifier, the answers you have given, the mastery states and review schedule derived from them, and the lesson you last opened. Clearing it makes you a new learner on this device. It cannot be undone, and it will not affect your appearance or density settings.

Focus timer

Focus--minutes remaining

Phase

Kept in this browser only, and used to label the session in your own history.

Today

Nothing recorded yet. Finish a focus session and it will appear here.

Settings

Focus sessions between long breaks.

Sessions you are aiming for in a day.

Notifications

Your history

Sessions are stored in this browser and nowhere else. They are not evidence and never reach your mastery record.