Why Mixed End-Behavior Limits Need Care
At infinity, an expression can contain terms that grow at very different rates. A polynomial may be small compared with an exponential, while a logarithm may be small compared with even a modest positive power. Radicals add another challenge: the largest terms can cancel, leaving a finite value that is not visible from the leading terms alone.
The reliable approach is to identify the limit direction, preserve signs, and then rewrite the expression so that the relevant growth comparison is explicit. For a radical difference, conjugate rationalization may expose the terms that remain after cancellation. For a sum or quotient with exponential terms, dividing by a suitable exponential can make all slower terms tend to zero.
Two Facts to Keep in View
For real \(x\), the principal square root is nonnegative. In particular, \(\sqrt{x^2}=|x|\), not always \(x\). Thus \(\sqrt{x^2}=x\) when \(x\) tends to positive infinity, but \(\sqrt{x^2}=-x\) when \(x\) tends to negative infinity.
The growth comparisons established in the earlier material on exponential and logarithmic growth will be used in precise forms. For any fixed \(a>0\), \(e^x\) grows faster than \(x^a\) as \(x\to\infty\); for any fixed \(a>0\), \(\ln x\) grows more slowly than \(x^a\) as \(x\to\infty\). In applications, these comparisons mean, for example, that \(x^3/e^x\to0\) and \(\ln x/\sqrt{x}\to0\). The logarithm is considered only for \(x>0\).
Why Conjugate Rationalization Reveals Cancellation
When a difference of square roots tends to a form in which large terms cancel, multiply by its conjugate. The identity \((A-B)(A+B)=A^2-B^2\) replaces the difference with a quotient whose numerator may be much simpler.
This is an exact algebraic identity wherever the denominator is nonzero. For limits, it is enough that it hold for all sufficiently large inputs in the direction under consideration. After rationalizing, divide numerator and denominator by a scale matching their growth. The resulting limit then shows whether cancellation leaves a finite value, zero, or an unbounded expression.
Worked Examples
Worked Example: A Radical Difference at Positive Infinity
Evaluate \(\lim_{x\to\infty}\left(\sqrt{9x^2+4x+1}-3x\right)\).
The leading terms suggest cancellation, so rationalize. For sufficiently large \(x\), the radical and \(3x\) are nonnegative, and their sum is nonzero.
Divide the numerator and denominator by \(x\), which is positive as \(x\to\infty\). Because \(\sqrt{9x^2+4x+1}/x=\sqrt{9+4/x+1/x^2}\), the denominator after scaling has a nonzero limit.
Check: The scaled numerator tends to \(4\), and the scaled denominator tends to \(6\), so their quotient tends to \(4/6=2/3\). The exact rationalized expression therefore confirms the finite value left after the leading radical terms cancel.
Worked Example: A Radical Difference at Negative Infinity
Evaluate \(\lim_{x\to-\infty}\left(\sqrt{4x^2+3x+1}+2x\right)\).
Here \(\sqrt{4x^2}\) behaves like \(|2x|=-2x\), not \(2x\), because \(x<0\). The leading terms in the displayed expression cancel. Rationalize using the conjugate \(\sqrt{4x^2+3x+1}-2x\), which is positive for sufficiently negative \(x\).
Since \(x\to-\infty\), divide top and bottom by \(-x\), which is positive and tends to infinity. The radical divided by \(-x\) equals \(\sqrt{4+3/x+1/x^2}\).
Check: The numerator after scaling tends to \(-3\), while the denominator tends to \(4\), so the quotient tends to \(-3/4\). The negative sign is consistent with the original expression: the square root is slightly smaller than \(-2x\) for large negative \(x\), leaving a negative difference.
Worked Example: Exponential Terms with Polynomial and Logarithmic Terms
Evaluate \(\lim_{x\to\infty}\frac{e^x+x^2+\ln x}{e^x-4x^3+\ln x}\). The logarithm is defined for \(x>0\), so the expression is defined throughout a tail of the limit.
Divide the numerator and denominator by \(e^x\), the common exponential scale:
The exponential-versus-polynomial comparison gives \(x^2/e^x\to0\) and \(x^3/e^x\to0\). For the logarithmic terms, \(0\le \ln x\le x\) for all sufficiently large \(x\), so \(0\le(\ln x)/e^x\le x/e^x\to0\). Thus every nonconstant term in the scaled numerator and denominator tends to zero, while the denominator tends to \(1\).
Check: After scaling, both numerator and denominator tend to \(1\), and the denominator limit is nonzero. The quotient therefore tends to \(1\); the common \(e^x\) terms determine the limit because the other terms divided by \(e^x\) vanish.
Worked Example: A Logarithm and Radical Compared with an Exponential
Evaluate \(\lim_{x\to\infty}\frac{\sqrt{x^2+5x}+\ln x}{e^x+x}\).
For \(x>0\), \(\sqrt{x^2+5x}=x\sqrt{1+5/x}\). Divide numerator and denominator by \(e^x\):
For \(x\ge1\), \(1+5/x\le6\), so \(0\le\sqrt{x^2+5x}\le\sqrt{6}\,x\). Hence \(0\le\sqrt{x^2+5x}/e^x\le\sqrt{6}\,x/e^x\to0\). Also \(0\le\ln x\le x\) for sufficiently large \(x\), so \((\ln x)/e^x\to0\). Finally \(x/e^x\to0\), making the scaled denominator tend to \(1\).
Check: The scaled numerator tends to zero and the scaled denominator tends to \(1\), so the quotient tends to zero. The bound on the radical justifies treating it as no larger than a constant multiple of \(x\) for this comparison.
A Practical Order of Operations
For a mixed limit, work through the expression in a deliberate order. This prevents an attractive but unjustified comparison from hiding a cancellation or a sign error.
Check whether the input tends to positive or negative infinity. Confirm that logarithms and square roots are defined on the part of the domain used.
If two large radical terms are subtracted or cancel in a sum, rationalize before discarding lower-order terms.
For a quotient dominated by exponentials, divide by the exponential. For a radical involving powers of \(x\), factor or divide using the relevant power, with the sign of \(x\) accounted for.
State which comparison applies, such as a polynomial divided by an exponential tending to zero, or a logarithm divided by a positive power tending to zero.
Evaluate the limits of the scaled numerator and denominator separately, and ensure the denominator limit is nonzero before taking their quotient.
Common Pitfall: Treating \(\sqrt{x^2}\) as \(x\) Everywhere
A frequent error is to simplify \(\sqrt{x^2}\) to \(x\) without checking the sign of \(x\). For example, the incorrect calculation for \(x\to-\infty\) might begin:
This is wrong because \(2x<0\) when \(x<0\), while a principal square root cannot be negative. The correct identity is \(\sqrt{4x^2}=2|x|=-2x\) on the negative half-line. Therefore \(\sqrt{4x^2+3x+1}+2x\) has cancellation at negative infinity, and its limit must be found by a sign-aware calculation such as conjugate rationalization, not by replacing the radical with \(2x\).
Why These Comparisons Matter
Mixed end-behavior problems are not solved by memorizing a single ranking of terms. The form of the expression matters. In a quotient, scaling often reveals the dominant terms directly. In a difference of radicals, leading terms may cancel, so the lower-order terms determine the answer; rationalization exposes them. In either case, a limit argument requires more than saying one term “dominates”: the normalized terms must actually tend to the stated values.
Keep the direction of infinity visible throughout. At positive infinity, factoring \(x\) from a radical may be straightforward because \(x>0\). At negative infinity, factoring \(-x\) or using \(|x|\) is necessary to preserve the principal square root. These choices are part of the mathematical justification, not merely cosmetic algebra.
Check Your Understanding
For each problem, identify the useful rewrite or scale and justify the growth comparison before stating the limit.
- Evaluate \(\lim_{x\to\infty}\left(\sqrt{16x^2+7x}-4x\right)\).
- Evaluate \(\lim_{x\to-\infty}\left(\sqrt{9x^2-2x+1}+3x\right)\).
- Evaluate \(\lim_{x\to\infty}\frac{x^4+\ln x}{e^x+2x^2}\).
- Explain why \(\sqrt{x^2}=|x|\) is the correct identity for limits at either end of the real line.
- When dividing a quotient by a chosen scale, what must be checked about the scaled denominator before taking the quotient of limits?
