Why Each Application Needs a Fresh Check
Repeated use of L'Hôpital's Rule can be useful when a limit has several layers of vanishing. But one valid application does not automatically authorize another. After differentiating the numerator and denominator, you have a new quotient. Before differentiating again, you must inspect the limits of its numerator and denominator.
The key question is not whether the original quotient was indeterminate, or whether its derivatives can be calculated. The key question at each stage is whether the current numerator and denominator both tend to zero or both tend to infinity. If they do not, L'Hôpital's Rule cannot be applied to that quotient under its \(0/0\) or \(\infty/\infty\) forms.
The Conditions at Each Stage
Consider a finite endpoint \(a\). For a quotient \(F(x)/G(x)\), L'Hôpital's Rule applies in its \(0/0\) form when \(F(x)\to0\) and \(G(x)\to0\) as \(x\to a\), and in its \(\infty/\infty\) form when both functions tend to infinite limits. In either case, \(F\) and \(G\) must be differentiable on a punctured interval approaching \(a\), \(G'(x)\) must be nonzero there, and the limit of \(F'(x)/G'(x)\) must exist, possibly as an infinite limit. The same statements apply on a specified one-sided interval.
One application replaces \(F/G\) by \(F'/G'\) for the purpose of evaluating the limit. For a second application, \(F'\) and \(G'\) become the new numerator and denominator. Their limits must be checked afresh, and the rule's differentiability and nonzero-denominator-derivative requirements must hold again.
For example, if the current quotient is \(F'(x)/G'(x)\), the relevant limits are \(\lim_{x\to a}F'(x)\) and \(\lim_{x\to a}G'(x)\). If they are \(1\) and \(1\), the quotient is not \(0/0\), even if the original quotient was. If they are \(0\) and \(0\), it is still \(0/0\), so another application may be possible, subject to the remaining hypotheses.
A Complete Justification for Repeating the Rule
The logic of repetition is a chain of separate applications, not one unrestricted instruction to differentiate as many times as desired. Suppose the initial quotient has an indeterminate form and satisfies the hypotheses of L'Hôpital's Rule. Suppose also that the first derivative quotient still has an indeterminate form and satisfies those hypotheses. Then the rule gives the first equality of limits, and a second valid application gives the next equality.
To justify this chain, apply the rule first to \(F/G\), using the assumptions about \(F,G\), and their derivatives. This identifies the original limit with the limit of \(F'/G'\). Then apply the rule again to \(F'/G'\), but only if its numerator and denominator have an allowed indeterminate form and the rule's hypotheses hold for them. That identifies the first derivative quotient's limit with the limit of \(F''/G''\). The chain is valid because each equality is justified by its own application.
The same reasoning extends to more stages: at every step, the next equality requires a new valid application. If a stage fails the form condition, the chain stops there. The limit at that stage may still be easy to evaluate directly; otherwise, another method is needed.
Worked Examples
Worked Example: Checking Two Successive \(0/0\) Forms
Evaluate \(\displaystyle \lim_{x\to0}\frac{e^x-1-x}{x^2}\).
At \(x=0\), the numerator is \(e^0-1-0=0\), and the denominator is \(0^2=0\). The quotient is \(0/0\). Both functions are differentiable near \(0\), and the denominator derivative \(2x\) is nonzero for \(x\ne0\). Apply L'Hôpital's Rule once:
Now check again: \(e^0-1=0\), and \(2(0)=0\). The new quotient is still \(0/0\). Its denominator derivative is \(2\), which is nonzero, so apply the rule a second time:
The last quotient has numerator tending to \(1\) and denominator equal to \(2\), so it is no longer indeterminate; evaluate it directly rather than differentiating again. Check the resulting value against the local expansion \(e^x=1+x+\frac{x^2}{2}+o(x^2)\): the original numerator is \(\frac{x^2}{2}+o(x^2)\), so division by \(x^2\) tends to \(\frac12\), as found.
Worked Example: Checking Every Stage of a Third Application
Evaluate \(\displaystyle \lim_{x\to0}\frac{\sin x-x}{x^3}\).
At \(x=0\), the numerator is \(\sin 0-0=0\) and the denominator is \(0\). The form is \(0/0\). Differentiate numerator and denominator:
For the new quotient, \(\cos 0-1=0\) and \(3(0)^2=0\). It remains \(0/0\), so another application is permitted. The derivatives of its numerator and denominator are \(-\sin x\) and \(6x\):
Check once more: \(-\sin 0=0\) and \(6(0)=0\). This is again \(0/0\). Differentiate both parts:
The final quotient tends to \(-1/6\), a finite value, so no further application is justified by an indeterminate form. As a check, \(\sin x=x-\frac{x^3}{6}+o(x^3)\), making \(\sin x-x=-\frac{x^3}{6}+o(x^3)\). Dividing by \(x^3\) gives the same limit, \(-1/6\).
Worked Example: Stop When the New Quotient Is Not Indeterminate
Evaluate \(\displaystyle \lim_{x\to0}\frac{x+x^2}{x}\).
The numerator and denominator both tend to \(0\), so the initial form is \(0/0\). The denominator derivative is \(1\), which is nonzero. One application gives:
At this stage, the new numerator tends to \(1\), and the new denominator tends to \(1\). This is not \(0/0\) or \(\infty/\infty\). The quotient can be evaluated directly, so the method stops. As a check, for \(x\ne0\), the original quotient simplifies to \(1+x\), whose limit is \(1\).
Worked Example: Stop When the Derivative Quotient Has an Infinite Limit
Evaluate \(\displaystyle \lim_{x\to0^+}\frac{x^2}{x^3}\).
The original numerator and denominator both tend to \(0\), so one application is available. For \(x>0\), the denominator derivative \(3x^2\) is nonzero. The derivative quotient is
As \(x\to0^+\), this quotient tends to \(+\infty\). L'Hôpital's Rule therefore gives an infinite limit for the original quotient. Stop here: the derivative quotient has already supplied the limit. It is true that \(2x\) and \(3x^2\) both tend to \(0\), but another application is not needed. Directly, \(x^2/x^3=1/x\) for \(x>0\), and \(1/x\to+\infty\), which checks the conclusion.
A Common Mistake: Differentiating Automatically
A frequent error is to treat repeated L'Hôpital applications as a mechanical instruction: differentiate the top and bottom, then repeat until an answer appears. For the quotient in the previous example, that approach might continue as follows:
The derivative quotient at the right has numerator tending to \(2\) and denominator tending to \(0\). This is not \(0/0\) or \(\infty/\infty\), so L'Hôpital's Rule does not authorize that step. The original limit is already known from the first derivative quotient. A correct calculation checks the current form before each application, rather than assuming that differentiation remains valid.
Another way to make the same mistake is to classify the form using only the original numerator and denominator. An initial \(0/0\) does not imply that the next quotient is \(0/0\). For instance, in the \( (x+x^2)/x \) example, after one application the separate limits are \(1\) and \(1\). Repeating the rule would be invalid, even though the original quotient was indeterminate.
A Reliable Procedure
Find the separate limits of the current numerator and denominator. Confirm that they are both zero or both infinite.
Verify differentiability on the relevant punctured interval and that the denominator's derivative is nonzero there.
Differentiate the current numerator and denominator separately to form the next quotient.
If the new quotient is still an allowed indeterminate form and the hypotheses hold, another application may be made. Otherwise, evaluate its limit directly when possible, or choose another method.
Why the Recheck Matters
Each application is a conditional theorem, not a symbolic transformation that preserves validity without limit. The recheck protects the reasoning: it distinguishes a legitimate chain of equalities from an unjustified sequence of derivatives. It also tells you when the calculation is finished. A derivative quotient with a finite value or an infinite limit may already determine the original limit; there is no benefit in continuing past a stage where the rule no longer applies.
In practice, keep a small record of the numerator and denominator limits at every stage. Writing “\(0/0\)” or “\(\infty/\infty\)” beside each quotient makes the justification visible and helps catch invalid extra steps. When the form changes, pause: direct substitution, algebraic simplification, or another suitable limit method may resolve the remaining expression.
Check Your Understanding
For each question, state what must be checked before the next application of L'Hôpital's Rule.
- After one application, the new numerator tends to \(0\) and the new denominator tends to \(5\). May you apply L'Hôpital's Rule again to this quotient? Explain.
- For \(\displaystyle \lim_{x\to0}\frac{e^x-1-x}{x^2}\), what are the numerator and denominator limits after the first application?
- Why does an initial \(0/0\) form not guarantee that the derivative quotient is also \(0/0\)?
- Suppose the current derivative quotient tends to \(+\infty\). What should you establish before deciding whether another application is needed?
- In a repeated application, which functions must be differentiable and which derivative must be nonzero at the new stage?
