Defining Limits and Using Limit Notation

SECTION 1

Historical Context & Motivation

The concept of a limit lies at the very heart of calculus, yet its rigorous formulation took centuries to develop. Ancient Greek mathematicians grappled with the idea of approaching a value without ever quite reaching it—most famously in Zeno's paradoxes, which questioned how infinite subdivisions of distance could yield finite motion. Archimedes made practical use of limiting processes when he approximated the area of a circle by inscribing polygons with ever-increasing numbers of sides, essentially computing what we would now recognize as a limit. Despite these intuitive successes, the absence of a formal definition meant that foundational questions about convergence and infinity remained unresolved for nearly two millennia.

~250 BCE

Archimedes and the Method of Exhaustion

Archimedes approximated areas and volumes by bounding a figure between inscribed and circumscribed polygons, effectively using a limiting process to achieve exact results.

1665–1676

Newton and Leibniz Develop Calculus

Newton's fluxions and Leibniz's infinitesimals provided powerful computational tools for derivatives and integrals, but both frameworks relied on vague notions of 'infinitely small' quantities rather than precise limit definitions.

1821

Cauchy's Course at the École Polytechnique

Augustin-Louis Cauchy published his 'Cours d'Analyse,' introducing a verbal definition of limits that moved the concept from geometric intuition toward algebraic rigor.

1861

Weierstrass Formalizes the ε-δ Definition

Karl Weierstrass delivered lectures presenting the epsilon-delta (ε-δ) definition of a limit, finally giving calculus a logically airtight foundation that remains the standard today.

The central question that motivated all of this work can be stated simply: What value does a function approach as its input draws arbitrarily close to a given point? Notice that the question asks about approach, not arrival—the function need not be defined at the point itself, nor need it equal the limit there. This subtle but crucial distinction is what separates limit-based reasoning from ordinary evaluation and is the gateway to every major idea in calculus: derivatives, integrals, and infinite series all depend on it.

SECTION 2

Core Principles & Definitions

Before we write a single limit expression, we need to internalize a handful of foundational ideas that govern how limits behave. These principles clarify what a limit statement actually claims, what it does not claim, and why the distinction matters for every theorem that follows in the AP Calculus BC curriculum.

Limits Describe Behavior Near a Point

When we write lim f(x) as x → a, we are asking about the output values f(x) for inputs close to a, never at a itself. The function's value at x = a (or whether it even exists) is irrelevant to the limit.

Uniqueness of Limits

If a limit exists, it is unique. A function cannot approach two different values simultaneously from both sides. This is a consequence of the precise ε-δ definition and ensures that limit notation is unambiguous.

One-Sided vs. Two-Sided Limits

The two-sided limit lim f(x) as x → a exists if and only if both one-sided limits—from the left (x → a⁻) and from the right (x → a⁺)—exist and are equal. This criterion is the standard test for limit existence.

Limits May Be Finite, Infinite, or Nonexistent

A limit can converge to a real number L, diverge to +∞ or −∞ (which we still describe with limit notation), or fail to exist entirely if the function oscillates without settling on any value.

✦ KEY TAKEAWAY

Think of a limit as a GPS prediction: as you drive toward an intersection, the GPS forecasts which street you're heading toward based on your current trajectory—even if you never actually enter the intersection. Similarly, a limit predicts the output a function is trending toward based on nearby inputs, regardless of what happens at the target input itself. This 'trajectory-based' perspective is exactly why limits can handle holes, jumps, and asymptotes—situations where direct substitution fails.

SECTION 3

Visual Explanation — Approaching a Limit Graphically

A well-chosen graph makes the concept of a limit almost self-evident. In the diagram below, we examine a function f(x) that has a removable discontinuity (a hole) at x = 3. The function is not defined at x = 3, yet the outputs cluster around a single y-value as x approaches 3 from both directions. This y-value is the limit.

The graph of f(x) with a hole at x = 3. The open circle indicates that f(3) is undefined, yet the outputs (green dots) converge to L from both sides, confirming that lim f(x) as x → 3 equals L.

In the diagram above, observe how the cyan curve trends toward the open circle from both directions. The horizontal dashed line at y = L represents the limit value, while the vertical dashed line at x = 3 marks the input we are approaching. The green sample points illustrate concrete input-output pairs that cluster near L as x gets closer to 3. Because these outputs converge to the same value from both the left and the right, the two-sided limit exists and equals L. Had the curve approached different y-values from the left and the right, the two-sided limit would not exist—even though each one-sided limit might exist individually.

SECTION 4

Mathematical Framework — Limit Notation and the ε-δ Definition

Calculus communicates the idea of 'approaching' through a compact symbolic notation. Mastering this notation is essential, as every theorem, rule, and formula in the AP Calculus BC course is expressed in terms of limits.

TWO-SIDED LIMIT NOTATION

lim f(x) = L x→a

Read: 'the limit of f(x) as x approaches a equals L.' Here, a is the input value being approached (but not necessarily reached), L is the real number the outputs converge to, and f(x) represents the function's output for inputs near a.

LEFT-HAND LIMIT

lim f(x) = L x→a⁻

The superscript minus sign indicates approach from the left: x takes values less than a and increases toward a. If this limit equals L, then f(x) trends toward L from the left side.

RIGHT-HAND LIMIT

lim f(x) = L x→a⁺

The superscript plus sign indicates approach from the right: x takes values greater than a and decreases toward a. If both one-sided limits exist and are equal, then the two-sided limit exists and shares that common value.

FORMAL ε-δ DEFINITION

lim f(x) = L ⟺ ∀ε > 0, ∃δ > 0 such that 0 < |x − a| < δ ⟹ |f(x) − L| < ε

For every tolerance ε (epsilon) on the output, there exists a corresponding tolerance δ (delta) on the input such that whenever x is within δ of a (but not equal to a), f(x) is within ε of L. The condition 0 < |x − a| ensures we exclude the point x = a itself.

📝 AP EXAM NOTE

While the formal ε-δ definition appears only rarely on the AP Calculus BC exam, the College Board expects you to understand its meaning conceptually. You should be able to explain that making outputs arbitrarily close to L requires making inputs sufficiently close to a. Most exam questions test your ability to evaluate limits, interpret limit notation, and determine when limits fail to exist.

SECTION 5

When Limits Exist and When They Don't

Not every function has a limit at every point. Recognizing the different scenarios—limits that exist, limits that diverge to infinity, and limits that truly fail to exist—is a critical skill for the AP exam. The diagram below illustrates the three fundamental cases using piecewise and trigonometric examples.

Three fundamental limit scenarios. Left: The limit exists (both sides converge to L, even though f(a) ≠ L). Center: An infinite limit—the function grows without bound near a vertical asymptote. Right: The limit does not exist because the left-hand and right-hand limits disagree (a jump discontinuity).

Summary of common limit scenarios encountered on the AP exam

Scenario	Condition	Notation Example
Limit exists	lim x→a⁻ f(x) = lim x→a⁺ f(x) = L (a finite real number)	lim x→2 (x² − 4)/(x − 2) = 4
Infinite limit	f(x) increases or decreases without bound as x → a	lim x→0⁺ 1/x = +∞
Jump discontinuity	Left-hand and right-hand limits exist but are not equal	lim x→0 ⌊x⌋ does not exist
Oscillation	f(x) oscillates between values without settling as x → a	lim x→0 sin(1/x) does not exist

SECTION 6

Worked Example — Evaluating a Limit with a Removable Discontinuity

Let us evaluate the limit that arises from a classic indeterminate form: direct substitution yields 0/0, so algebraic simplification is required before we can determine the limit.

PROBLEM

lim (x² − 5x + 6) / (x − 2) x→2

Direct substitution gives (4 − 10 + 6)/(2 − 2) = 0/0, which is an indeterminate form. We must simplify.

Step-by-Step Solution

Step 1 — Attempt Direct SubstitutionSubstitute x = 2 into the expression: (2² − 5(2) + 6) / (2 − 2) = (4 − 10 + 6) / 0 = 0/0. Since we obtain the indeterminate form 0/0, direct substitution fails. This signals that the numerator and denominator likely share a common factor of (x − 2).

Indeterminate form 0/0 detected

Step 2 — Factor the NumeratorFactor x² − 5x + 6. We need two numbers that multiply to 6 and add to −5: those are −2 and −3. Therefore, x² − 5x + 6 = (x − 2)(x − 3).

x² − 5x + 6 = (x − 2)(x − 3)

Step 3 — Cancel the Common FactorRewrite the rational expression: (x − 2)(x − 3) / (x − 2). Because we are taking a limit as x → 2, we consider values of x near 2 but not equal to 2. For all such x, x − 2 ≠ 0, so the cancellation is valid: the expression simplifies to x − 3.

(x² − 5x + 6) / (x − 2) = x − 3 for x ≠ 2

Step 4 — Evaluate the Simplified ExpressionNow apply direct substitution to the simplified expression: lim x→2 (x − 3) = 2 − 3 = −1. Since the simplified function is continuous at x = 2, this substitution is valid.

lim x→2 (x² − 5x + 6)/(x − 2) = −1

💡 WHY CANCELLATION IS VALID

A common student concern: 'Aren't we dividing by zero when we cancel (x − 2)?' The answer is no. The definition of a limit explicitly excludes the point x = a. Since we only consider x-values near 2 (never x = 2 itself), the factor (x − 2) is nonzero throughout, and the cancellation is algebraically legitimate.

SECTION 7

Strategies for Evaluating Limits — Strengths & Limitations

Several techniques exist for evaluating limits, and knowing which strategy to apply in a given situation is one of the most valuable skills on the AP exam. The table below compares the most common approaches, highlighting when each one works and where it falls short.

Comparison of standard limit-evaluation strategies

Strategy	When It Works	Limitations
Direct Substitution	The function is continuous at the point x = a, so f(a) is the limit. Works for all polynomials, exponentials, and trig functions at points in their domain.	Fails when substitution gives an indeterminate form (0/0, ∞/∞) or when the function is undefined at a.
Algebraic Simplification	When numerator and denominator share a common factor that causes the 0/0 form. Factor, cancel, and then substitute.	Requires recognizable factoring patterns. Not directly applicable to irrational or transcendental expressions.
Rationalization (Conjugate Multiplication)	When the expression involves a difference of square roots, such as (√(x+1) − √2). Multiply numerator and denominator by the conjugate.	Limited to expressions involving radicals. Additional techniques may be needed after rationalization.
Numerical / Tabular Approach	For building intuition or verifying an algebraic result. Evaluate f(x) at values approaching a and observe the trend.	Cannot prove a limit exists; only provides evidence. Vulnerable to misleading patterns if the function oscillates rapidly.
Graphical Analysis	Useful for reading limits, one-sided limits, and discontinuities from a given graph. Common on the AP exam in both MC and FRQ.	Depends on the resolution of the graph. Exact values may be difficult to determine visually.

🔑 STRATEGY SELECTION

Always start with direct substitution—it is the fastest approach and works more often than students expect. If it produces an indeterminate form, the form itself guides your next move: 0/0 suggests factoring or rationalization, while ∞/∞ often calls for division by the highest-degree term (or, later in the course, L'Hôpital's Rule). Think of direct substitution as the 'default setting'; switch techniques only when the default produces an error code.

SECTION 8

Connection to Advanced Theory — Continuity, Derivatives, and Beyond

Limits are not just a standalone topic—they are the engine that drives every subsequent concept in calculus. Understanding how the basic limit definition connects to continuity, derivatives, and integrals helps you see the curriculum as a coherent structure rather than a collection of isolated rules.

How limits connect to major AP Calculus BC topics

Concept	How It Uses Limits	Formal Definition
Continuity at a Point	A function f is continuous at x = a if lim x→a f(x) = f(a). This requires the limit to exist, f(a) to be defined, and the two to match.	lim x→a f(x) = f(a)
Derivative	The derivative is the limit of the difference quotient. It gives the instantaneous rate of change at a single point by taking the limit as the interval width approaches zero.	f′(a) = lim h→0 [f(a+h) − f(a)] / h
Definite Integral	The Riemann integral is defined as the limit of Riemann sums as the number of subdivisions approaches infinity, giving exact area under a curve.	∫ₐᵇ f(x)dx = lim n→∞ Σᵢ f(xᵢ*)Δx
Infinite Series	Convergence of a series is determined by the limit of its partial sums. This is central to Taylor and Maclaurin series, a major BC topic.	Σ aₙ converges ⟺ lim n→∞ Sₙ = S

Looking forward, you will encounter limits at infinity (Unit 1), the formal definition of continuity (Unit 1), and the limit definition of the derivative (Unit 2). In the BC-specific topics, limits underpin the convergence tests for infinite series (Unit 10) and the construction of Taylor polynomials. The single most important lesson from this section is that a solid grasp of limit notation and behavior is the prerequisite for every theorem you will encounter in this course. Investing time now in understanding what limits say—and what they don't—will pay dividends across every subsequent unit.

SECTION 9

Practice Problems

Suppose that f is defined for all real numbers except x = 4, and that lim x→4 f(x) = 7. Which of the following statements must be true?

Evaluate: lim x→−3 (x² + 5x + 6) / (x + 3).

Let g be the piecewise function defined by g(x) = 2x + 1 for x < 1, and g(x) = x² + 2 for x ≥ 1. What is lim x→1 g(x)?

PROBLEM 4 — APPLIED

A particle moves along a straight line so that its position at time t seconds is given by s(t) = (t² − 4)/(t − 2) for t ≠ 2, and s(2) = 5. (a) Find lim t→2 s(t). Show your work. (b) Is s continuous at t = 2? Justify your answer using the definition of continuity. (c) If the position function were redefined so that s(2) = lim t→2 s(t), describe the effect on the graph of s at t = 2.

PROBLEM 5 — CRITICAL THINKING

Let f be a function satisfying |f(x) − 3| ≤ 2(x − 1)² for all x in an open interval containing x = 1. (a) Use the Squeeze Theorem (or the given inequality directly) to determine lim x→1 f(x). Justify your reasoning. (b) Explain, in terms of the ε-δ definition of a limit, why this inequality guarantees the limit you found in part (a).

SUMMARY

Lesson Summary

A limit describes the value that a function's output approaches as its input draws arbitrarily close to a given point. The standard limit notation is lim x→a f(x) = L, which is read 'the limit of f(x) as x approaches a equals L.' Crucially, this statement concerns the behavior of f(x) near x = a, not at x = a. A two-sided limit exists if and only if the left-hand limit and the right-hand limit both exist and are equal.

The rigorous ε-δ definition formalizes this intuition: for every tolerance ε on the output, there must exist a tolerance δ on the input guaranteeing that f(x) lands within ε of L whenever x is within δ of a (excluding a itself). When direct substitution yields an indeterminate form such as 0/0, techniques like algebraic simplification or rationalization resolve the indeterminacy. Mastering limits and their notation is the essential first step toward continuity, derivatives, integrals, and infinite series—the pillars of AP Calculus BC.