Connecting Limits at Infinity and Horizontal Asymptotes - AP Calculus AB

SECTION 1

Historical Context & Motivation

Long before the formal machinery of limits was established, mathematicians noticed that certain curves seemed to approach straight lines as they extended toward the edges of the coordinate plane. Ancient Greek geometers, particularly Apollonius of Perga, studied the conic sections and recognized that hyperbolas possessed lines they continually approached without crossing. The word asymptote itself comes from the Greek ἀσύμπτωτος, meaning "not falling together," capturing the intuitive idea of a curve and a line that draw ever closer yet never coincide. It was not until the development of rigorous analysis in the 18th and 19th centuries that mathematicians could precisely articulate why these lines existed and connect them to the behavior of a function as its input grows without bound.

~200 BCE • Apollonius and Conic Sections

Apollonius of Perga describes the asymptotic behavior of hyperbolas in his treatise Conics, giving the concept its name.

1684 • Leibniz Publishes Calculus

Gottfried Wilhelm Leibniz introduces differential calculus, providing new tools for analyzing curves and their long-range tendencies.

1821 • Cauchy's Cours d'Analyse

Augustin-Louis Cauchy formalizes the ε-δ definition of a limit, enabling mathematicians to rigorously define what it means for a function to approach a value as x → ∞.

1872 • Weierstrass Refines Rigor

Karl Weierstrass perfects the epsilon-delta formalism, completing the foundation on which modern limit theory—including limits at infinity—rests.

The central question motivating this topic is deceptively simple: when we evaluate a function for larger and larger inputs—say x = 100, x = 1000, x = 1,000,000—does the output settle down toward a single number? If so, we say the limit at infinity exists, and the corresponding constant output level is the horizontal asymptote of the function. Understanding the precise connection between these two ideas is essential for graphing rational functions, modeling real-world phenomena that exhibit saturation or decay, and building intuition for more advanced topics in analysis.

SECTION 2

Core Principles & Definitions

The relationship between limits at infinity and horizontal asymptotes is not merely a convenient analogy—it is a definition. A horizontal asymptote is defined in terms of a limit at infinity, so mastering one concept automatically gives you mastery of the other. The following foundational ideas underpin everything that follows in this lesson.

Limit at Infinity

We write lim(x→∞) f(x) = L to mean that as x increases without bound, f(x) can be made arbitrarily close to L. Similarly, lim(x→−∞) f(x) = L addresses behavior as x decreases without bound.

Horizontal Asymptote

The line y = L is a horizontal asymptote of f if lim(x→∞) f(x) = L or lim(x→−∞) f(x) = L (or both). A function may have zero, one, or two horizontal asymptotes.

End Behavior

End behavior describes the output trend of a function as x → ∞ or x → −∞. When the limit is finite, the end behavior is horizontal. When the limit is infinite, the function grows or falls without bound.

Dominant Terms

For rational functions, the terms with the highest power of x in the numerator and denominator dominate the behavior for large |x|. Comparing their degrees reveals the horizontal asymptote (or its absence).

✦

KEY TAKEAWAY

Think of a horizontal asymptote like the cruising altitude of an airplane. During takeoff the plane's height changes dramatically—it may even dip and rise—but eventually it levels off at a stable altitude. The limit at infinity is the instrument reading that confirms the altitude is stabilizing, and the horizontal asymptote is that cruising altitude itself. The two ideas are inseparable: one is the measurement process, the other is the value measured.

SECTION 3

Visual Explanation

The following diagram illustrates how a rational function approaches its horizontal asymptote as x moves toward positive and negative infinity. Observe how the curve oscillates or bends near the origin but ultimately flattens out and hugs the dashed horizontal line for large values of |x|.

The violet curve represents f(x) = (2x² + 1)/(x² − 4). The dashed cyan line at y = 2 is the horizontal asymptote. Notice the vertical asymptotes (red dashed) at x = −2 and x = 2 where the denominator is zero. As x moves far to the left or right, the curve approaches y = 2 from above—confirming that lim(x→±∞) f(x) = 2.

In the diagram above, the key observation is that as |x| grows, the distance between the curve and the line y = 2 shrinks toward zero. This is exactly what the statement lim(x→∞) f(x) = 2 encodes analytically. The function never equals 2 for finite x (you can verify this by setting f(x) = 2 and checking for contradictions), yet it gets arbitrarily close to 2 as x increases. This "getting arbitrarily close" is the hallmark of a limit, and the line it approaches is the horizontal asymptote.

SECTION 4

Mathematical Framework

The formal definition ties the intuitive picture to precise mathematical language. Below are the central definitions and the algebraic techniques used to evaluate limits at infinity, particularly for rational functions, which are the most common setting for horizontal asymptotes on the AP Calculus AB exam.

FORMAL DEFINITION — LIMIT AT POSITIVE INFINITY

lim(x→∞) f(x) = L means: ∀ε > 0, ∃M > 0 such that x > M ⟹ |f(x) − L| < ε

ε (epsilon) represents any small positive distance; M is the threshold beyond which all outputs are within ε of L. The analogous definition holds for x → −∞ with x < −M.

HORIZONTAL ASYMPTOTE DEFINITION

y = L is a horizontal asymptote of f ⟺ lim(x→∞) f(x) = L or lim(x→−∞) f(x) = L

A function can have at most two horizontal asymptotes: one as x → ∞ and a potentially different one as x → −∞. Some functions, like polynomials of degree ≥ 1, have no horizontal asymptotes because their limits at infinity are ±∞.

Evaluating Limits at Infinity for Rational Functions

For a rational function f(x) = P(x)/Q(x) where P has degree n and Q has degree m, the standard technique is to divide every term by the highest power of x appearing in the denominator. This converts every non-leading term into a fraction with x in the denominator, and each of those fractions approaches 0 as x → ∞. The result depends entirely on the relationship between n and m.

CASE 1: DEGREE OF NUMERATOR < DEGREE OF DENOMINATOR (n < m)

lim(x→∞) P(x)/Q(x) = 0 → horizontal asymptote: y = 0

Example: lim(x→∞) (3x + 1)/(x² − 5) = 0. The denominator grows faster, pushing the ratio toward zero.

CASE 2: DEGREE OF NUMERATOR = DEGREE OF DENOMINATOR (n = m)

lim(x→∞) P(x)/Q(x) = aₙ/bₘ → horizontal asymptote: y = aₙ/bₘ

Here aₙ and bₘ are the leading coefficients of P and Q respectively. Example: lim(x→∞) (4x³ − x)/(2x³ + 7) = 4/2 = 2.

CASE 3: DEGREE OF NUMERATOR > DEGREE OF DENOMINATOR (n > m)

lim(x→∞) P(x)/Q(x) = ±∞ → no horizontal asymptote

The function grows without bound. If n = m + 1, the function has a slant (oblique) asymptote instead, though this is beyond the AP Calculus AB curriculum.

SECTION 5

Degree Comparison & Classification

The three cases outlined in Section 4 can be organized into a concise comparison chart. Additionally, it is important to recognize that horizontal asymptotes are not limited to rational functions. Exponential decay functions, inverse trigonometric functions, and functions involving radicals can also possess horizontal asymptotes. The diagram below visually distinguishes the three degree-comparison cases.

Three panels compare the end behavior of rational functions based on the degree relationship between numerator and denominator. Case 1 (cyan): the curve flattens toward y = 0. Case 2 (amber): the curve levels off at the ratio of leading coefficients (y = 2). Case 3 (red): the output grows without bound, so no horizontal asymptote exists.

Degree Comparison	Limit at Infinity	Horizontal Asymptote	Example
n < m	lim = 0	y = 0	f(x) = 3/(x² + 1)
n = m	lim = aₙ/bₘ	y = aₙ/bₘ	f(x) = (5x² − 2)/(3x² + 7)
n > m	lim = ±∞	None	f(x) = (x³ + 1)/(x − 4)

Summary of degree comparison cases for rational functions

💡

Don't Forget Non-Rational Functions

Functions like f(x) = e^−x have a horizontal asymptote at y = 0 (as x → ∞), and f(x) = arctan(x) has two horizontal asymptotes: y = −π/2 as x → −∞ and y = π/2 as x → ∞. The degree-comparison shortcut applies only to rational functions.

SECTION 6

Worked Example

Let us work through a complete example that demonstrates the algebraic technique of dividing by the highest power of x in the denominator, then connecting the result to the graph's horizontal asymptote.

Find the horizontal asymptote(s) of f(x) = (3x² − 5x + 2) / (7x² + 4x − 1)

1
Step 1 — Identify the degrees

The numerator P(x) = 3x² − 5x + 2 has degree 2. The denominator Q(x) = 7x² + 4x − 1 also has degree 2. Since the degrees are equal, we are in Case 2, and the horizontal asymptote will be the ratio of the leading coefficients.

deg(P) = deg(Q) = 2 → Case 2
2
Step 2 — Divide every term by x²

We divide both the numerator and denominator by x² (the highest power of x in the denominator): f(x) = (3 − 5/x + 2/x²) / (7 + 4/x − 1/x²). This algebraic manipulation does not change the function's value; it simply rewrites it in a form where the limit is transparent.

f(x) = (3 − 5/x + 2/x²) / (7 + 4/x − 1/x²)
3
Step 3 — Evaluate the limit as x → ∞

As x → ∞, the terms 5/x, 2/x², 4/x, and 1/x² all approach 0. This is a direct consequence of the fundamental limit lim(x→∞) 1/x = 0. Substituting these limiting values: lim(x→∞) f(x) = (3 − 0 + 0) / (7 + 0 − 0) = 3/7.

lim(x→∞) f(x) = 3/7
4
Step 4 — Check x → −∞

Because every vanishing term (5/x, 2/x², 4/x, 1/x²) also approaches 0 as x → −∞, the calculation is identical. Therefore lim(x→−∞) f(x) = 3/7 as well. For rational functions where deg(P) = deg(Q), the limit is the same in both directions.

lim(x→−∞) f(x) = 3/7
5
Step 5 — State the horizontal asymptote

Since both one-sided limits at infinity equal 3/7, the function has exactly one horizontal asymptote.

Horizontal asymptote: y = 3/7

SECTION 7

Common Pitfalls & Clarifications

Students frequently encounter misconceptions when working with horizontal asymptotes and limits at infinity. The table below identifies the most common errors and contrasts them with the correct reasoning, helping you avoid costly mistakes on both multiple-choice and free-response questions.

Common Misconception	Correct Understanding
A function can never cross its horizontal asymptote.	A function can cross its horizontal asymptote finitely or even infinitely many times. For example, f(x) = sin(x)/x crosses y = 0 infinitely often yet has y = 0 as a horizontal asymptote.
Every function has a horizontal asymptote.	Many functions (polynomials of degree ≥ 1, exponential growth functions like eˣ) have no horizontal asymptote because their limits at infinity are ±∞.
A function can have at most one horizontal asymptote.	A function can have up to two horizontal asymptotes—one as x → ∞ and a different one as x → −∞. Example: f(x) = x/√(x² + 1) has y = 1 and y = −1.
If the limit at infinity is 0, the function equals 0 for large x.	The limit describes where the function heads, not where it arrives. For any finite x, f(x) may be nonzero; it simply gets closer and closer to 0.
Horizontal and vertical asymptotes are found using the same techniques.	Horizontal asymptotes involve limits at infinity (x → ±∞). Vertical asymptotes involve limits where the denominator equals zero and the output → ±∞. The two concepts are fundamentally different.

Common misconceptions vs. correct understanding

✦

KEY TAKEAWAY

A horizontal asymptote describes where a function is heading in the long run—it is a statement about the limit, not a fence the function cannot cross. Think of it like a road that gradually merges onto a highway: the car (the function) may weave back and forth across the lane lines (the asymptote) on its way, but its general trajectory is to align with the highway's direction.

SECTION 8

Connection to Advanced Topics

Limits at infinity and horizontal asymptotes are not merely an isolated topic in Unit 1 of AP Calculus AB—they resurface throughout the course and form the foundation for ideas you will encounter in more advanced mathematics. Understanding end behavior is essential when analyzing the global behavior of functions before applying derivatives and integrals.

AP Calculus AB Topic	Connection to Limits at Infinity
Curve Sketching (Unit 5)	Horizontal asymptotes establish the long-run behavior of a function, providing the "baseline" to which derivatives add information about increasing/decreasing intervals and concavity.
Improper Integrals (BC / College)	Evaluating ∫ from a to ∞ of f(x) dx requires knowing whether f(x) → 0 fast enough as x → ∞ for the integral to converge—a direct application of limits at infinity.
L'Hôpital's Rule (Unit 4)	When limits at infinity produce indeterminate forms like ∞/∞, L'Hôpital's Rule differentiates numerator and denominator separately. The degree-comparison shortcut for rationals is a special case of L'Hôpital applied repeatedly.
Differential Equations (Unit 7)	Solutions to differential equations modeling population growth, cooling, and mixing often have horizontal asymptotes representing equilibrium values—the long-term steady state of the system.

How limits at infinity connect to other calculus topics

In more advanced courses such as real analysis, the ε-M definition from Section 4 becomes the starting point for proving convergence theorems and establishing the foundations of continuity on unbounded domains. In applied mathematics and engineering, horizontal asymptotes model phenomena like terminal velocity, steady-state temperatures, and asymptotic computational complexity—everywhere that a process stabilizes over time, a limit at infinity is at work.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following best explains why the line y = 5 is a horizontal asymptote of a function f?

A. f(x) = 5 for all sufficiently large x.
B. lim(x→∞) f(x) = 5 or lim(x→−∞) f(x) = 5.
C. f(x) never equals 5 for any real number x.
D. The graph of f approaches x = 5 as y → ∞.
E. f has a zero at x = 5.

Show answer (B)

The correct answer is B. By definition, y = L is a horizontal asymptote of f if and only if lim(x→∞) f(x) = L or lim(x→−∞) f(x) = L. Choice A is incorrect because a function need not equal its asymptotic value—it only needs to approach it. Choice C is incorrect because a function can cross its horizontal asymptote (e.g., sin(x)/x crosses y = 0). Choice D confuses horizontal asymptotes (y = constant) with vertical asymptotes (x = constant). Choice E confuses asymptotes with zeros; x = 5 being a zero means f(5) = 0, which is unrelated to horizontal asymptotes.

Question 2: BASIC CALCULATION

What is lim(x→∞) (6x³ − 2x) / (3x³ + x² + 1)?

A. 0
B. 1
C. 2
D. 3
E. The limit does not exist.

Show answer (C)

The correct answer is C. Both the numerator and denominator are degree 3 polynomials (Case 2). The limit equals the ratio of leading coefficients: 6/3 = 2. Choice A (0) would be correct only if the numerator's degree were strictly less than the denominator's. Choice B (1) would require the leading coefficients to be equal. Choice D (3) reverses the ratio (3/6 inverted, or perhaps confuses the denominator's leading coefficient). Choice E is incorrect because when degrees match, the limit always exists and equals the ratio of leading coefficients.

Question 3: INTERMEDIATE

Let g(x) = (2x + 3) / √(4x² + 5). What are the horizontal asymptotes of g?

A. y = 1 only
B. y = 1 and y = −1
C. y = 1/2 only
D. y = 1/2 and y = −1/2
E. g has no horizontal asymptotes.

Show answer (B)

The correct answer is B. For x → +∞, divide numerator and denominator by x (positive): g(x) = (2 + 3/x) / √(4 + 5/x²) → 2/√4 = 2/2 = 1. For x → −∞, divide by x, but now x < 0 so √(x²) = |x| = −x, meaning we divide the denominator by −x: g(x) → (2 + 0)/(−√4) = 2/(−2) = −1. Thus the function has two horizontal asymptotes: y = 1 and y = −1. Choice A misses the x → −∞ case. Choices C and D result from incorrectly computing √4 or making algebraic errors. Choice E is incorrect because the function does have finite limits at ±∞.

Question 4: APPLIED

4 pts

A pharmaceutical company models the concentration C(t), in mg/L, of a drug in a patient's bloodstream t hours after injection by C(t) = (50t) / (t² + 4). (a) Find lim(t→∞) C(t). Interpret the result in context. (2 points) (b) Identify the horizontal asymptote and explain whether the function ever reaches this value. (1 point) (c) Find the time at which the concentration is maximized and explain how the horizontal asymptote relates to the long-term behavior of the drug concentration. (1 point)

Show answer

Rubric (4 points): (a) [2 points] • 1 point: Divides numerator and denominator by t² (or by the highest power of t) to obtain C(t) = (50/t)/(1 + 4/t²), and correctly evaluates lim(t→∞) C(t) = 0/1 = 0. • 1 point: Interprets the result in context: as time increases, the drug concentration approaches 0 mg/L, meaning the drug is eventually eliminated from the patient's bloodstream. (b) [1 point] • 1 point: States the horizontal asymptote is y = 0 (the t-axis). Notes that C(t) = 50t/(t² + 4) = 0 only when t = 0, so the function equals its horizontal asymptotic value only at the initial moment (before the drug takes effect), but for all t > 0, C(t) > 0. The function approaches but does not reach y = 0 for positive t. (c) [1 point] • 1 point: Uses calculus (or algebraic reasoning) to find the maximum. C'(t) = (50(t² + 4) − 50t(2t))/(t² + 4)² = 50(4 − t²)/(t² + 4)² = 0 when t = 2 hours. At t = 2, C(2) = 100/8 = 12.5 mg/L. The horizontal asymptote y = 0 tells us that after the concentration peaks at 12.5 mg/L, it eventually decays toward 0—the drug washes out of the system in the long run.

Question 5: CRITICAL THINKING

3 pts

Let f(x) = (ax² + bx + c) / (dx² + ex + g), where a, d > 0 and a/d = 3. (a) Prove that f has exactly one horizontal asymptote. (1 point) (b) Give a specific example of such a function f that crosses its horizontal asymptote exactly once, and verify the crossing algebraically. (2 points)

Show answer

Rubric (3 points): (a) [1 point] • 1 point: Since deg(numerator) = deg(denominator) = 2, both lim(x→∞) f(x) and lim(x→−∞) f(x) equal a/d = 3. Because the limit is the same in both directions, f has exactly one horizontal asymptote: y = 3. (b) [2 points] • 1 point: Provides a valid example. For instance, f(x) = (3x² + x) / (x² + 1). The horizontal asymptote is y = 3. • 1 point: Sets f(x) = 3 and solves: (3x² + x)/(x² + 1) = 3 → 3x² + x = 3x² + 3 → x = 3. So f crosses y = 3 exactly once at x = 3. Verification: f(3) = (27 + 3)/(9 + 1) = 30/10 = 3. ✓ This confirms the crossing occurs at exactly one point and demonstrates that a horizontal asymptote can be crossed.

SUMMARY

Lesson Summary

Summary

A horizontal asymptote is defined by a limit at infinity: the line y = L is a horizontal asymptote of f if and only if lim(x→∞) f(x) = L or lim(x→−∞) f(x) = L. For rational functions P(x)/Q(x), the key is comparing the degrees of P and Q: if deg(P) < deg(Q), the horizontal asymptote is y = 0; if deg(P) = deg(Q), it is y = (leading coefficient of P)/(leading coefficient of Q); if deg(P) > deg(Q), no horizontal asymptote exists. The algebraic technique of dividing every term by the highest power of x in the denominator converts the expression into a form where limit laws apply directly.

Remember that functions can cross their horizontal asymptotes, a function can have up to two horizontal asymptotes (one in each direction), and non-rational functions such as exponential and inverse trigonometric functions can also possess horizontal asymptotes. These ideas form the basis for curve sketching, optimization, and the study of long-term behavior in applied models throughout AP Calculus AB and beyond.