Limits at Infinity and Horizontal Asymptotes
When we study functions, one of the most revealing questions we can ask is: what happens to the output as the input grows without bound? This idea — examining the behavior of f(x) as x → ∞ or x → −∞ — is called a limit at infinity. Rather than focusing on what happens near a single point, limits at infinity describe the long-run, or end behavior, of a function. This perspective is essential in calculus and applied mathematics whenever we model real-world processes that evolve over large scales of time, distance, or quantity. A horizontal asymptote is the geometric consequence of a finite limit at infinity. If lim(x→∞) f(x) = L for some real number L, then the line y = L is a horizontal asymptote of f. The function's graph may approach this line from above or below — and may even cross it — but it gets arbitrarily close as x grows large. Not every function has a horizontal asymptote: polynomials of degree 1 or higher, for example, grow without bound and have no finite limit at infinity. Mastering limits at infinity requires recognizing a handful of powerful algebraic techniques: dividing numerator and denominator by the highest power of x, using the Squeeze Theorem for oscillating functions, and applying known results for exponential and trigonometric expressions. These tools let you quickly characterize the end behavior of rational, radical, exponential, and composite functions — a skill central to curve sketching, optimization, and the analysis of algorithms in computer science.
- Identify the Dominant Terms
- Divide by the Highest Power of x
- Handle Square Roots and Absolute Values Carefully
- Use Known Limits for Exponentials and Trig
- Check Both Directions
Identify the Dominant Terms
The term that grows fastest as |x| → ∞ controls the limit. For a polynomial, this is the leading term. For a rational function p(x)/q(x), compare the degrees of the numerator and denominator. If deg(p) < deg(q), the limit is 0; if deg(p) = deg(q), the limit equals the ratio of leading coefficients; if deg(p) > deg(q), the limit is ±∞ (no horizontal asymptote).
Divide by the Highest Power of x
For rational functions, divide every term in the numerator and denominator by x^n, where n = deg(q). Each term of the form c/x^k → 0 as x → ∞ (for k ≥ 1), leaving only the ratio of leading coefficients. For example, lim(x→∞) (3x² + 5x) / (2x² − 7) becomes lim(x→∞) (3 + 5/x) / (2 − 7/x²) = (3 + 0)/(2 − 0) = 3/2.
Handle Square Roots and Absolute Values Carefully
When a square root appears, remember that √(x²) = |x|. For x → +∞, |x| = x, but for x → −∞, |x| = −x. This sign difference changes the answer. For instance, lim(x→−∞) (x + √(x² + 1)) requires substituting x = −t as t → +∞ and carefully tracking the sign of √(x²).
Use Known Limits for Exponentials and Trig
Key facts: lim(x→∞) e^x = ∞, lim(x→−∞) e^x = 0, and lim(x→∞) e^(−x) = 0. Because sin(x) and cos(x) are bounded between −1 and 1, the Squeeze Theorem gives lim(x→∞) sin(x)/x = 0. More generally, any bounded function divided by a quantity growing to ±∞ has limit 0. These facts are starting points for more complex limits involving sums and compositions.
Check Both Directions
Always test x → +∞ and x → −∞ separately; the limits can differ. A function may have two different horizontal asymptotes — one on the right and one on the left. For example, f(x) = arctan(x) satisfies lim(x→∞) arctan(x) = π/2 and lim(x→−∞) arctan(x) = −π/2, giving horizontal asymptotes y = π/2 and y = −π/2.
The Key Equation
- n — Degree of numerator (dimensionless): The highest power of x appearing in the numerator polynomial.
- m — Degree of denominator (dimensionless): The highest power of x appearing in the denominator polynomial.
- a_n — Leading coefficient of numerator (dimensionless): The coefficient of the highest-degree term in the numerator.
- b_m — Leading coefficient of denominator (dimensionless): The coefficient of the highest-degree term in the denominator.
Worked Example
Problem. Find all horizontal asymptotes of f(x) = (4x³ − 2x + 1) / (x³ + 5x² − 3).
Answer. The only horizontal asymptote is y = 4.
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
Cauchy was the first mathematician to provide a rigorous definition of the limit, replacing the intuitive but imprecise 'infinitely small' arguments used by Newton and Leibniz. His epsilon-delta (ε–δ) framework, developed in his 1821 textbook Cours d'analyse, is the logical foundation for every limit we compute today — including limits at infinity, which are formalized using the condition that for every ε > 0 there exists M such that |f(x) − L| < ε whenever x > M. Cauchy was famously prolific: he published nearly 800 mathematical papers and books during his lifetime, second only to Leonhard Euler in sheer volume of output. He also introduced much of the modern notation for complex analysis and group theory.
Related Concepts
- The Epsilon-Delta Definition of a Limit — Limits at infinity use a variation of the ε–δ definition where 'x is near a point' is replaced by 'x is sufficiently large'; understanding the formal definition deepens your grasp of end behavior.
- Vertical Asymptotes and Infinite Limits — Vertical asymptotes arise when limits equal ±∞ near a point, the complementary concept to horizontal asymptotes where limits are finite but the input grows without bound.
- Curve Sketching Using Calculus — Horizontal asymptotes found via limits at infinity are one of the key features — along with intercepts, critical points, and concavity — used to produce accurate sketches of function graphs.
- The Squeeze Theorem — The Squeeze Theorem is the primary tool for evaluating limits at infinity involving bounded oscillating functions such as sin(x)/x, which cannot be handled by simple algebraic manipulation.