Connecting Limits at Infinity and Horizontal Asymptotes - AP Calculus BC

SECTION 1

Historical Context & Motivation

Long before calculus formalized the notion of a limit, mathematicians grappled with the behavior of curves as they extended toward the infinitely distant. Ancient Greek geometers noticed that certain hyperbolas seemed to approach, but never touch, straight lines — an observation that hinted at what we now call asymptotic behavior. The word asymptote itself derives from the Greek asymptotos, meaning "not falling together." Over centuries, the challenge was to move from geometric intuition to an analytic definition — one that could handle arbitrary functions, not just conic sections.

~200 BCE • Apollonius of Perga

In his treatise on conic sections, Apollonius identified lines that a hyperbola approaches indefinitely, laying the geometric groundwork for asymptotes.

1684 • Leibniz's Calculus

Leibniz published his differential calculus, providing new tools to analyze curves and their behavior at extreme values of the independent variable.

1821 • Cauchy's Cours d'analyse

Cauchy formalized the ε-δ definition of a limit, making it possible to rigorously state what it means for a function to approach a value as x grows without bound.

1872 • Weierstrass Rigorous Limits

Weierstrass completed the rigorous foundation for limits at infinity, enabling the precise connection between end behavior and horizontal asymptotes used in modern analysis.

The central question this lesson addresses is deceptively simple: How do we describe the long-run behavior of a function, and how does that description correspond to horizontal asymptotes on a graph? By connecting the analytic concept of a limit at infinity to the geometric concept of a horizontal asymptote, we gain a powerful tool for sketching graphs, analyzing rational functions, and building intuition for later topics like improper integrals and series convergence.

SECTION 2

Core Principles & Definitions

Before diving into computations, it is essential to ground ourselves in precise definitions. The connection between limits at infinity and horizontal asymptotes rests on a single, elegant idea: a horizontal asymptote is defined in terms of a limit at infinity. That is, the geometric feature on a graph is the visual manifestation of an analytic statement about limits.

Limit at Positive Infinity

We write lim(x→∞) f(x) = L if, for every ε > 0, there exists an M such that |f(x) − L| < ε whenever x > M. The function values can be made arbitrarily close to L by taking x sufficiently large.

Limit at Negative Infinity

We write lim(x→−∞) f(x) = L if, for every ε > 0, there exists an N such that |f(x) − L| < ε whenever x < N. This captures 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 distinct horizontal asymptotes.

Functions Can Cross Asymptotes

Unlike vertical asymptotes, a horizontal asymptote describes end behavior only. A function may cross its horizontal asymptote finitely or even infinitely many times — what matters is the limiting behavior as x → ±∞.

SECTION 3

Visual Explanation

The following diagram shows the graph of a rational function together with its horizontal asymptote. Observe how the curve approaches the dashed line y = 2 from both directions as x grows large in magnitude, visually confirming the limits at ±∞.

Graph of f(x) = (2x² + 1)/(x² − 1). The dashed cyan line at y = 2 is the horizontal asymptote, confirmed by evaluating lim(x→±∞) f(x) = 2. Note the vertical asymptotes near x = ±1 where the denominator vanishes.

Several features in this graph merit attention. First, the curve sits above the asymptote for large positive x and below (then above) for large negative x, illustrating that approach from one side versus the other can differ. Second, near x = ±1 the function blows up — those are vertical asymptotes, a fundamentally different phenomenon driven by the denominator becoming zero. Horizontal asymptotes describe what happens far from the origin; vertical asymptotes describe what happens near specific finite x-values. Keeping these two ideas distinct is critical.

SECTION 4

Mathematical Framework

The most common functions on the AP exam for which you evaluate limits at infinity are rational functions — ratios of polynomials. The key technique is dividing the numerator and denominator by the highest power of x in the denominator, which forces all subsidiary terms toward zero.

RATIONAL FUNCTION LIMIT

lim(x→∞) [aₙxⁿ + ··· + a₀] / [bₘxᵐ + ··· + b₀]

Divide numerator and denominator by x^m. The result depends on the relationship between the degrees n and m.

CASE 1: DEGREE n < DEGREE m

lim(x→∞) f(x) = 0 → Horizontal asymptote: y = 0

The denominator grows faster, driving the ratio to zero.

CASE 2: DEGREE n = DEGREE m

lim(x→∞) f(x) = aₙ / bₘ → Horizontal asymptote: y = aₙ / bₘ

Only the leading coefficients survive; all lower-order terms vanish.

CASE 3: DEGREE n > DEGREE m

lim(x→∞) f(x) = ±∞ → No horizontal asymptote

The numerator dominates; the function grows without bound. If n = m + 1, a slant (oblique) asymptote exists instead.

ℹ

Beyond Rational Functions

SECTION 5

Classifying End Behavior

A function can have at most two distinct horizontal asymptotes — one as x → ∞ and a potentially different one as x → −∞. The diagram below classifies the four possible scenarios for a function's end behavior with respect to horizontal asymptotes.

Four scenarios: (1) same horizontal asymptote in both directions, (2) two different horizontal asymptotes, (3) a horizontal asymptote in only one direction, and (4) no horizontal asymptote at all. The purple curves represent the function, and dashed lines represent asymptotes.

Function Type	Limit as x → ∞	Limit as x → −∞	Horizontal Asymptote(s)
f(x) = 3x/(x + 1)	3	3	y = 3 (both directions)
f(x) = arctan(x)	π/2	−π/2	y = π/2 and y = −π/2
f(x) = e^−x + 1	1	∞	y = 1 (x → ∞ only)
f(x) = x² − 4x	∞	∞	None

Common function types and their horizontal asymptotes

SECTION 6

Worked Example

Let us find all horizontal asymptotes of the function f(x) = (5x² − 3x + 7) / (2x² + x − 4) by evaluating the relevant limits at infinity.

Worked example

1
Step 1 — Identify the Degrees

The numerator has degree 2 (leading term 5x²) and the denominator also has degree 2 (leading term 2x²). Since the degrees are equal, we expect the limit to equal the ratio of the leading coefficients.
2
Step 2 — Divide by x²

Divide every term in the numerator and denominator by x² (the highest power of x in the denominator): f(x) = (5 − 3/x + 7/x²) / (2 + 1/x − 4/x²)
3
Step 3 — Evaluate the Limit as x → ∞

As x → ∞, the terms 3/x, 7/x², 1/x, and 4/x² all approach 0. Therefore: lim(x→∞) f(x) = (5 − 0 + 0) / (2 + 0 − 0) = 5/2

lim(x→∞) f(x) = 5/2
4
Step 4 — Evaluate the Limit as x → −∞

The same algebraic simplification applies. As x → −∞, the same subsidiary terms vanish, so: lim(x→−∞) f(x) = 5/2

lim(x→−∞) f(x) = 5/2
5
Step 5 — State the Horizontal Asymptote

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

Horizontal asymptote: y = 5/2

SECTION 7

Common Pitfalls & Comparisons

Misconception	Reality
A function can never cross its horizontal asymptote.	A function may cross a horizontal asymptote — even infinitely many times. For example, f(x) = (sin x)/x crosses y = 0 infinitely often while approaching it.
Every function has a horizontal asymptote.	Only functions with finite limits at ±∞ have horizontal asymptotes. Polynomials of degree ≥ 1, for instance, never have them.
A function can have at most one horizontal asymptote.	A function can have two distinct horizontal asymptotes — one for x → ∞ and another for x → −∞ (e.g., arctan(x)).
The degree comparison rule works for all functions.	The leading-coefficient shortcut applies only to rational functions. For exponentials, logarithms, and trigonometric compositions, you must reason from known limits or use the Squeeze Theorem.

Common misconceptions vs. reality

SECTION 8

Connections to Advanced Topics

The concept of limits at infinity and horizontal asymptotes is not an isolated topic — it connects forward to several advanced ideas in AP Calculus BC. Understanding end behavior deeply will pay dividends when you study improper integrals, series convergence, and differential equations.

This Lesson's Concept	Advanced Application
lim(x→∞) f(x) = L (finite)	Convergence of improper integrals ∫₁^∞ f(x) dx: if f(x) → 0 fast enough, the integral may converge. The rate at which f approaches its HA determines integrability.
Degree comparison for rational functions	The Limit Comparison Test for series: comparing aₙ to bₙ = 1/nᵖ mirrors comparing leading terms of numerator and denominator polynomials.
Two different HAs (x → ∞ vs. x → −∞)	Logistic differential equations dy/dt = ky(M − y) produce solutions with y = 0 and y = M as horizontal asymptotes, representing initial and carrying-capacity equilibria.
Squeeze Theorem for limits at infinity	Establishing convergence of oscillatory improper integrands like (sin x)/x² by bounding between ±1/x².

How limits at infinity connect to later BC topics

When the degree of the numerator exceeds the degree of the denominator by exactly one, a rational function has a slant (oblique) asymptote rather than a horizontal one. This is found via polynomial long division and represents the next level of end-behavior analysis. While slant asymptotes are less commonly tested on AP Calculus BC than horizontal ones, the underlying principle is the same: the asymptote captures the dominant behavior of the function as x → ±∞, with the remainder term vanishing in the limit.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following statements is true about horizontal asymptotes?

A. A function can have at most one horizontal asymptote.
B. If a function has a horizontal asymptote at y = L, the function can never take the value L.
C. 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.
D. A polynomial of degree 3 always has a horizontal asymptote at y = 0.
E. Horizontal asymptotes describe the behavior of f near points where f is undefined.

Show answer (C)

C is correct: by definition, y = L is a horizontal asymptote precisely when at least one of the two limits at infinity equals L. A is wrong because a function can have two distinct horizontal asymptotes (e.g., arctan(x) has y = π/2 and y = −π/2). B is wrong because a function may cross its horizontal asymptote (e.g., (sin x)/x crosses y = 0 infinitely often). D is wrong because cubic polynomials grow without bound in both directions, so they have no horizontal asymptote. E is wrong because horizontal asymptotes describe end behavior (x → ±∞), not behavior near points of discontinuity — that role belongs to vertical asymptotes.

Question 2: BASIC CALCULATION

What is the horizontal asymptote of f(x) = (4x³ − x) / (2x³ + 5x² + 1)?

A. y = 0
B. y = 2
C. y = 4
D. y = 2/5
E. There is no horizontal asymptote.

Show answer (B)

The numerator and denominator both have degree 3. When degrees are equal, the horizontal asymptote is the ratio of leading coefficients: 4/2 = 2, so y = 2. A (y = 0) would be correct if the numerator's degree were strictly less than the denominator's. C (y = 4) incorrectly uses only the numerator's leading coefficient. D (y = 2/5) confuses the leading coefficient of the denominator with the coefficient of its second term. E is wrong because equal-degree rational functions always have exactly one horizontal asymptote.

Question 3: INTERMEDIATE

Let g(x) = (3x + 1) / √(9x² + 4). Find lim(x→∞) g(x) and lim(x→−∞) g(x), and determine all horizontal asymptotes of g.

A. y = 1 only
B. y = 1 and y = −1
C. y = 1/3 and y = −1/3
D. y = 1/3 only
E. y = 3 and y = −3

Show answer (B)

For x → ∞, divide numerator and denominator by x (with x > 0, so √(x²) = x): g(x) = (3 + 1/x) / √(9 + 4/x²) → 3/3 = 1. For x → −∞, divide by |x| = −x (since x < 0): g(x) = (3 + 1/x) / (−√(9 + 4/x²)) → 3/(−3) = −1. Thus the two horizontal asymptotes are y = 1 and y = −1. A is wrong because it ignores the sign change when x < 0. C and D incorrectly compute the ratio as 1/3 instead of 3/3. E uses 3 instead of dividing properly.

Question 4: APPLIED

A biologist models the concentration C(t) of a drug in the bloodstream (in mg/L) by C(t) = (200t) / (t² + 25), where t ≥ 0 is measured in hours. (a) Find lim(t→∞) C(t) and interpret the result in context. (b) Find the time t at which C(t) is maximized. (c) Explain why the horizontal asymptote makes biological sense. (d) Sketch a rough graph of C(t) showing the maximum and the horizontal asymptote.

Show answer

(a) Since the numerator has degree 1 and the denominator has degree 2, lim(t→∞) C(t) = 0. In context, the drug concentration approaches 0 mg/L as time increases — the drug is eventually cleared from the bloodstream. (b) C'(t) = [200(t² + 25) − 200t(2t)] / (t² + 25)² = 200(25 − t²) / (t² + 25)². Setting C'(t) = 0 gives t² = 25, so t = 5 hours (rejecting t = −5). C(5) = 1000/50 = 20 mg/L. (c) Biologically, the body metabolizes and excretes the drug over time, so it makes sense that the concentration decays to zero rather than leveling off at a positive value. (d) The graph starts at C(0) = 0, rises to a peak of 20 mg/L at t = 5, then decays toward the horizontal asymptote y = 0.

Question 5: CRITICAL THINKING

Let f be a continuous function on ℝ satisfying −2/(x² + 1) ≤ f(x) − 3 ≤ 2/(x² + 1) for all x. (a) Use the Squeeze Theorem to find lim(x→∞) f(x) and lim(x→−∞) f(x). (b) State the horizontal asymptote(s) of f. (c) Does the given inequality guarantee that f(x) = 3 has a solution? Justify your answer.

Show answer

(a) Adding 3 to all parts of the inequality: 3 − 2/(x² + 1) ≤ f(x) ≤ 3 + 2/(x² + 1). As x → ∞ (and as x → −∞), 2/(x² + 1) → 0, so both bounding functions approach 3. By the Squeeze Theorem, lim(x→∞) f(x) = 3 and lim(x→−∞) f(x) = 3.(b) The sole horizontal asymptote is y = 3.(c) No. The inequality does not guarantee that f(x) = 3 has a solution. Consider the counterexample f(x) = 3 + 1/(x² + 1). This function is continuous on ℝ and satisfies −2/(x² + 1) ≤ f(x) − 3 = 1/(x² + 1) ≤ 2/(x² + 1) for all x, yet f(x) = 3 + 1/(x² + 1) > 3 for all x, so f never equals 3. The inequality forces f(x) to approach 3 as x → ±∞ but does not force f to attain the value 3 at any finite x.