Why the Rearrangement Matters
A product with a factor tending to zero and a factor growing without bound, or a difference of two quantities that both grow without bound, does not reveal its limit by inspection. These are indeterminate forms: the competing rates of change matter. L'Hôpital's Rule can help, but it applies to certain quotients, not directly to products or differences.
The key decision is therefore not merely whether to use L'Hôpital's Rule. First choose an equivalent quotient. A useful conversion should produce a quotient of type \(0/0\) or \(\infty/\infty\), satisfy the rule's differentiability and denominator conditions, and have a derivative ratio whose limit is easier to evaluate.
Product Conversions: Two Choices to Compare
Suppose \(u(x)\to 0\) and \(|v(x)|\to\infty\) as \(x\to a\). If \(v(x)\ne 0\) near \(a\), then the product has either of the equivalent quotient forms \[ u(x)v(x)=\frac{u(x)}{1/v(x)} \qquad\text{and}\qquad u(x)v(x)=\frac{v(x)}{1/u(x)}, \] where the reciprocals are defined. The first is of type \(0/0\), since \(1/v(x)\to 0\); the second is of type \(\infty/\infty\), since \(|1/u(x)|\to\infty\). The sign of a factor may matter for the signed form of infinity, but the essential point is that both numerator and denominator are unbounded in magnitude in the second quotient.
Either form may be suitable for L'Hôpital's Rule. Their derivative ratios, however, can have very different complexity. Choose the form whose derivatives are simplest, and ensure its denominator is nonzero throughout a punctured interval around the limiting point.
Worked Example: A Product Near Zero
Find \(\displaystyle\lim_{x\to 0^+}x\ln x\). Here \(x\to0^+\) and \(\ln x\to-\infty\), so the product has the form \(0\cdot(-\infty)\). Rewrite it as \[ x\ln x=\frac{\ln x}{1/x}. \] As \(x\to0^+\), the numerator tends to \(-\infty\) and the denominator tends to \(+\infty\), so this is an eligible \(\infty/\infty\) form. Both functions are differentiable for \(x>0\), and the denominator \(1/x\) is nonzero there. Its derivative, \(-1/x^2\), is also nonzero there. L'Hôpital's Rule gives \[ \lim_{x\to0^+}\frac{\ln x}{1/x} = \lim_{x\to0^+}\frac{1/x}{-1/x^2} = \lim_{x\to0^+}(-x) =0. \] Thus \(\lim_{x\to0^+}x\ln x=0\). As a check, the quotient is exactly the original product for every \(x>0\), because \(\ln x/(1/x)=x\ln x\); the evaluated quotient limit therefore gives the product's limit.
This example illustrates why it is worth comparing conversions. The alternative \(x/(1/\ln x)\) also equals \(x\ln x\) when \(x>0\) and \(x\ne1\), and it gives a \(0/0\) form. But differentiating that quotient produces \(-x(\ln x)^2\), whereas the chosen form produces just \(-x\). The quotient form is not a formality: it can make the calculation substantially clearer.
Worked Example: A Product at Infinity
Find \(\displaystyle\lim_{x\to\infty}xe^{-x}\). The factors tend to \(+\infty\) and \(0\), respectively. Since \(e^{-x}=1/e^x\), \[ xe^{-x}=\frac{x}{e^x}. \] This is an \(\infty/\infty\) quotient. The numerator and denominator are differentiable, and the denominator \(e^x\) and its derivative \(e^x\) are nonzero for all real \(x\). Applying L'Hôpital's Rule, \[ \lim_{x\to\infty}\frac{x}{e^x} = \lim_{x\to\infty}\frac{1}{e^x} =0. \] Therefore \(\lim_{x\to\infty}xe^{-x}=0\). To check the conversion, \(x/e^x=xe^{-x}\) for every real \(x\); the quotient is not an approximation but an exact identity.
Difference Conversions: Preserve the Difference
When \(A(x)\to+\infty\) and \(B(x)\to+\infty\), the difference \(A(x)-B(x)\) may tend to zero, a finite nonzero value, or an infinite value. The separate limits do not determine the answer. A useful identity, when \(A(x)+B(x)\ne0\), is \[ A(x)-B(x)=\frac{A(x)^2-B(x)^2}{A(x)+B(x)}. \] This follows because \(A^2-B^2=(A-B)(A+B)\); dividing by \(A+B\) recovers \(A-B\). If the squares simplify, this can produce an eligible quotient.
For expressions involving square roots, multiplying by the conjugate is this identity in a useful form. If \(A\) and \(B\) are square roots, then \[ A-B=\frac{A^2-B^2}{A+B}, \] provided \(A+B\ne0\). This is an exact algebraic transformation on the domain in question. After making it, classify the new quotient afresh: it may be \(0/0\), \(\infty/\infty\), or a determinate form. Do not assume it is eligible just because the original difference looked indeterminate.
Worked Example: A Radical Difference at Infinity
Find \(\displaystyle\lim_{x\to\infty}\bigl(\sqrt{x^2+3x}-x\bigr)\). Both terms tend to \(+\infty\), so rationalize the difference: \[ \sqrt{x^2+3x}-x = \frac{(\sqrt{x^2+3x}-x)(\sqrt{x^2+3x}+x)} {\sqrt{x^2+3x}+x} = \frac{x^2+3x-x^2}{\sqrt{x^2+3x}+x} = \frac{3x}{\sqrt{x^2+3x}+x}. \] For \(x>0\), the denominator is positive, so the quotient is defined. Its numerator and denominator both tend to \(+\infty\). The denominator is differentiable for \(x>0\), and its derivative is nonzero there: \[ \frac{d}{dx}\bigl(\sqrt{x^2+3x}+x\bigr) = \frac{2x+3}{2\sqrt{x^2+3x}}+1>0. \] L'Hôpital's Rule therefore gives \[ \lim_{x\to\infty}\frac{3x}{\sqrt{x^2+3x}+x} = \lim_{x\to\infty} \frac{3}{(2x+3)/(2\sqrt{x^2+3x})+1}. \] Since \[ \frac{2x+3}{2\sqrt{x^2+3x}} = \frac{2+3/x}{2\sqrt{1+3/x}} \longrightarrow 1, \] the derivative ratio tends to \(3/(1+1)=3/2\). Hence the original limit is \(3/2\). As a direct check on the value, dividing the rationalized quotient's numerator and denominator by \(x>0\) gives \[ \frac{3}{\sqrt{1+3/x}+1}\longrightarrow\frac{3}{1+1}=\frac32. \] This also confirms the conjugate conversion has preserved the expression and its limit.
Sometimes Simpler Algebra Is Better
An infinity-minus-infinity expression does not automatically require L'Hôpital's Rule. If an algebraic identity simplifies the difference directly, use it and evaluate the resulting limit. For example, logarithm rules give an exact conversion for \(x>0\): \[ \ln(x+1)-\ln x=\ln\!\left(\frac{x+1}{x}\right)=\ln\!\left(1+\frac1x\right). \] As \(x\to\infty\), the argument tends to \(1\), so continuity of the logarithm at \(1\) gives a limit of \(0\). No quotient differentiation is needed. This is a useful comparison: a sound method selection includes recognizing when a simpler exact identity resolves the limit.
There is also a general way to relate a difference to a product. If \(B(x)\ne0\), then \[ A(x)-B(x)=B(x)\left(\frac{A(x)}{B(x)}-1\right). \] When \(A/B\to1\) and \(B\to\infty\), the parenthesized factor tends to zero, giving a \(0\cdot\infty\) product. This may then be converted to a quotient. It is an option, not a universal improvement: the ratio \(A/B\) may be difficult to simplify or differentiate, while conjugation or another direct identity may be much cleaner.
A Reliable Selection Process
Before applying L'Hôpital's Rule, use this sequence of checks. The rule applies to a quotient, not to an expression merely because its limit looks indeterminate. In its usual form, the numerator and denominator must be differentiable on a punctured interval around the point, the denominator must be nonzero there, and the quotient must have form \(0/0\) or \(\infty/\infty\). If the derivative ratio has a limit (finite or infinite), under the rule's hypotheses the original quotient has that same limit.
For a product, determine which factor tends to zero and which is unbounded. For a difference, check whether both terms grow without bound and whether their leading behavior may cancel.
For a product, try dividing one factor by the reciprocal of the other. For a difference, try a conjugate, a common denominator, or an identity that simplifies the subtraction.
Choose a form that is \(0/0\) or \(\infty/\infty\) and whose derivatives are manageable. A different conversion may be algebraically valid but yield a harder derivative ratio.
Check differentiability and that the denominator is nonzero near the limit point. Apply L'Hôpital's Rule only when these conditions and the indeterminate-form condition hold; then evaluate the derivative ratio.
State why the converted quotient equals it on the relevant domain, and make clear that the quotient's limit is therefore the requested limit.
Common Mistake: Differentiating Before Converting
A tempting but invalid calculation for the first example is \[ \lim_{x\to0^+}x\ln x \overset{\text{wrong}}{=} \lim_{x\to0^+}\frac{x'}{(\ln x)'} = \lim_{x\to0^+}\frac{1}{1/x} =0. \] The numerical answer happens to be correct, but the first equality is not justified. The product \(x\ln x\) has not been written as a quotient of two functions with an eligible \(0/0\) or \(\infty/\infty\) form. L'Hôpital's Rule does not say to differentiate pieces of a product. The correction is to use an exact quotient conversion, such as \(x\ln x=\ln x/(1/x)\), verify its \(\infty/\infty\) form and hypotheses, and only then differentiate the numerator and denominator.
Another pitfall is to treat algebraic rearrangement as proof that L'Hôpital's Rule applies. An equivalent quotient might have a finite nonzero denominator limit, so it is not an indeterminate form; or its denominator could vanish within the punctured interval. In either case, the rule cannot be used merely because the unrearranged expression was indeterminate. Classify the transformed quotient and check the conditions each time.
Why These Choices Matter
Choosing a quotient is part of the mathematical reasoning, not just a preliminary manipulation. It determines whether L'Hôpital's Rule is available and whether the resulting derivatives expose the competing rates clearly. The product \(x\ln x\) is easiest as \(\ln x/(1/x)\); the exponential product \(xe^{-x}\) is naturally \(x/e^x\); and the radical difference simplifies through its conjugate. In each case, a good conversion keeps the expression exact while making its limiting behavior easier to analyze.
Check Your Understanding
For each question, identify the form and explain why the proposed method is or is not justified.
- For \(x\to0^+\), rewrite \(x^2\ln x\) in two quotient forms. Which form appears to give the simpler derivative ratio?
- For \(x\to\infty\), convert \(x^2e^{-x}\) into a quotient and classify its limiting form before applying any rule.
- Explain why multiplying \(\sqrt{x^2+5x}-x\) by its conjugate is an exact transformation for sufficiently large positive \(x\).
- What conditions must be checked for a converted quotient before applying L'Hôpital's Rule?
- Give one reason that a valid algebraic conversion might still be a poor choice for calculating a limit.
