Why Eligibility Matters
L'Hôpital's Rule can turn some difficult quotient limits into simpler ones by replacing a quotient of functions with a quotient of their derivatives. But this replacement is justified only under specific conditions. Differentiating the numerator and denominator is not a general shortcut for evaluating limits.
The first check is the form of the original quotient: it must approach \(0/0\) or \(\infty/\infty\). The rule also has differentiability and derivative conditions. If any condition fails, a derivative quotient may give an answer unrelated to the original limit.
What L'Hôpital's Rule Requires
For a one-sided limit at \(a\), a standard form of L'Hôpital's Rule applies when \(f\) and \(g\) are differentiable on an interval immediately to one side of \(a\), \(g'(x)\ne 0\) throughout that interval, and the original quotient has an indeterminate form: either \(f(x)\to 0\) and \(g(x)\to 0\), or \(|f(x)|\to\infty\) and \(|g(x)|\to\infty\). If, in addition, the limit of \(f'(x)/g'(x)\) exists (possibly as \(+\infty\) or \(-\infty\)), then the limit of \(f(x)/g(x)\) equals it.
The corresponding rule applies at \(x\to\infty\) or \(x\to-\infty\) when the differentiability, nonzero-derivative, form, and derivative-quotient conditions hold on an interval extending toward infinity. In each case, the quotient of derivatives is useful only because the original quotient meets the hypotheses.
The forms \(0/0\) and \(\infty/\infty\) are called indeterminate because the endpoint behavior of the numerator and denominator does not, by itself, determine the quotient limit. Other forms may have limits that are determined directly, may grow without bound, or may fail to have a limit. They are not made eligible merely by differentiating.
When the Denominator Has a Nonzero Limit
If both \(f(x)\) and \(g(x)\) have limits as \(x\to a\), and \(\lim_{x\to a}g(x)=G\ne 0\), the quotient limit law gives
In particular, continuity allows direct substitution when both functions are continuous at \(a\) and \(g(a)\ne 0\). Merely knowing that a quotient is defined at the endpoint is not enough; the numerator and denominator must have the needed limits for the limit law to apply.
The denominators on the right stay bounded away from zero, while \(f(x)-F\) and \(G-g(x)\) tend to zero. Thus the entire right-hand side tends to zero, proving the quotient limit law.
Worked Example: A Finite Quotient with a Nonzero Denominator Limit
Evaluate \(\lim_{x\to 1}\frac{x^2+3}{2x+1}\), and compare it with the result of differentiating the numerator and denominator.
Both functions are continuous at \(x=1\), and the denominator there is \(2(1)+1=3\ne 0\). Direct substitution gives
Therefore the quotient limit is \(4/3\). The original form is \(4/3\), not \(0/0\) or \(\infty/\infty\), so L'Hôpital's Rule does not apply. Differentiating anyway gives
That value is not the original limit: \(1\ne 4/3\). The direct answer checks against the quotient limit law, while the derivative quotient does not evaluate the original limit.
Nonzero Over Zero Is Not an Indeterminate Form
Suppose \(f(x)\to A\ne 0\) while \(g(x)\to 0\). Eventually, \(|f(x)|\) is bounded below by a positive number. Since \(|g(x)|\) approaches zero, the magnitude \(|f(x)/g(x)|\) grows without bound wherever the quotient is defined. The signs determine whether the quotient tends to \(+\infty\), to \(-\infty\), or has different behavior from different sides. This is not the \(0/0\) form required by L'Hôpital's Rule.
Worked Example: A Nonzero Numerator over a Denominator Approaching Zero
Consider \(\lim_{x\to 0^+}\frac{1+x}{x}\). The numerator tends to \(1\), and the positive denominator tends to \(0\). Directly,
As \(x\to 0^+\), \(1/x\to+\infty\), so the original quotient tends to \(+\infty\). It is a \(1/0\) form, not an indeterminate form. If we wrongly differentiate numerator and denominator, we obtain
This false conclusion conflicts with the original quotient, which grows without bound. The check is direct: for every \(x>0\), \(1/x+1>1/x\), and \(1/x\) grows without bound as \(x\to0^+\).
For the two-sided limit at zero, the right-hand quotient tends to \(+\infty\), while the left-hand quotient tends to \(-\infty\). Hence there is no two-sided limit, finite or infinite. The one-sided behavior matters.
Both Numerator and Denominator Must Have the Right Form
An infinite denominator alone does not make a quotient eligible. For example, a finite numerator divided by a denominator whose magnitude tends to infinity gives a quotient tending to zero, provided the numerator has a finite limit. More generally, when the numerator and denominator have limits and the denominator's magnitude grows without bound while the numerator stays bounded, the quotient tends to zero. That is not the \(\infty/\infty\) form.
Likewise, if the numerator's magnitude grows without bound while the denominator approaches zero, the quotient may have magnitude tending to infinity, but that is an \(\infty/0\) form—not \(\infty/\infty\). Differentiating does not repair the mismatch.
Worked Example: An Infinite Numerator over a Denominator Approaching Zero
Evaluate the behavior of \(\lim_{x\to\infty}\frac{x}{1/x}\). For \(x>0\), simplify the original quotient:
Thus the original quotient tends to \(+\infty\). Its form is \(\infty/0\), so L'Hôpital's Rule does not apply. Differentiating anyway gives
This derivative quotient has the opposite sign from the original quotient. Indeed, \(x^2>0\) for all \(x>0\), whereas \(-x^2<0\). That sign check confirms that the derivative quotient cannot be the answer to the original limit.
The Derivative Quotient Must Be Defined Nearby
Even when the original quotient has the form \(0/0\) or \(\infty/\infty\), the hypotheses still matter. In particular, the denominator's derivative must be nonzero throughout the relevant punctured interval so that \(f'(x)/g'(x)\) is defined there. If \(g'\) vanishes at points arbitrarily close to the limit point, the rule's condition is not met on any whole interval approaching that point.
Worked Example: An Undefined Derivative Quotient Near the Limit Point
For \(x>0\), define \(g(x)=x^2(2+\sin(1/x))\) and let \(f(x)=g(x)\). Since \(1\le 2+\sin(1/x)\le 3\),
so \(g(x)\to0\) as \(x\to0^+\). Therefore \(f(x)\to0\), and \(f(x)/g(x)=1\) for every \(x>0\). The original quotient has limit \(1\).
Differentiate \(g\) using the product and chain rules:
At \(x=1/(2\pi n)\), where \(n\) is a positive integer, \(\sin(1/x)=0\) and \(\cos(1/x)=1\), so
At \(x=1/((2n+1)\pi)\), the sine is \(0\) and the cosine is \(-1\), giving
For each \(n\), the latter \(x\)-value is smaller than \(1/(2\pi n)\). By continuity of \(g'\), it must be zero somewhere between these two values. Such intervals occur arbitrarily close to zero, so \(g'\) has zeros arbitrarily close to the limit point. Since \(f'=g'\), the derivative quotient \(f'/g'\) is undefined at those zeros. The condition \(g'\ne0\) throughout a punctured interval fails, even though the original quotient has the simple limit \(1\).
A Reliable Eligibility Check
Before differentiating, use this sequence of checks. Each question concerns the original functions near the limit point, not the expressions you get after differentiation.
Determine the limits of the numerator and denominator. Confirm that they give \(0/0\) or that both magnitudes tend to infinity.
Verify that both functions are differentiable on the relevant one-sided or infinite interval and that \(g'(x)\ne0\) there.
If its limit exists in the required sense, the rule gives the original quotient limit. If a condition fails, do not draw a conclusion from \(f'/g'\).
A common mistake is to differentiate first and treat the resulting limit as an answer, without checking the original form. The examples show why that is unsafe: a finite quotient can become a different finite value after differentiation, and a quotient tending to \(+\infty\) can produce a derivative quotient tending to \(-\infty\). Neither derivative calculation evaluates the original limit when the rule is ineligible.
L'Hôpital's Rule is sufficient, not necessary: a limit can exist even when the rule's conditions fail, as the derivative-zero example demonstrates. Conversely, a quotient that is not an indeterminate form is not a puzzle for the rule to solve. First use the limits of the numerator and denominator to identify what is already determined; then apply L'Hôpital's Rule only when its hypotheses are satisfied.
Check Your Understanding
For each question, identify the original form before deciding whether L'Hôpital's Rule applies.
- As \(x\to2\), the numerator tends to \(5\) and the denominator tends to \(4\). What limit information follows directly, and is the quotient eligible for L'Hôpital's Rule?
- As \(x\to0^+\), \(f(x)\to-3\) and \(g(x)\to0^+\). What happens to the magnitude and sign of \(f(x)/g(x)\)?
- For \(\lim_{x\to0^+}(1+x)/x\), what incorrect result comes from differentiating numerator and denominator, and why is that step invalid?
- State the derivative condition on \(g\) that must hold on the interval approaching the limit point.
- Can a quotient have a limit even when the derivative quotient is undefined at points arbitrarily close to the limit point? Explain using the example in this tutorial.
