Determining Limits Using the Squeeze Theorem - AP Calculus AB

SECTION 1

Historical Context & Motivation

Many functions resist direct evaluation at a point—substitution yields indeterminate forms, algebraic manipulation offers no simplification, and factoring leads nowhere. The Squeeze Theorem (also known as the Sandwich Theorem or Pinching Theorem) was developed to handle precisely these stubborn cases by leveraging known bounds on a function's behavior. Rather than computing the limit of a difficult function directly, mathematicians realized that if a function could be trapped between two simpler functions that share the same limit, the trapped function must converge to that same value. This elegant idea has roots stretching back centuries and remains one of the most powerful tools in the analyst's repertoire.

~250 BCE • Archimedes' Method of Exhaustion

Archimedes bounded the area of a circle between inscribed and circumscribed polygons, an early precursor to the bounding technique at the heart of the Squeeze Theorem.

1821 • Cauchy Formalizes Limits

Augustin-Louis Cauchy provided the first rigorous ε-δ framework for limits in his Cours d'Analyse, laying the groundwork for formal comparison-based limit arguments.

1861 • Weierstrass Refines the ε-δ Definition

Karl Weierstrass gave the modern epsilon-delta definition of a limit, within which the Squeeze Theorem can be stated and proved with full rigor.

Modern Era • Standard Calculus Curriculum

The Squeeze Theorem became a staple of introductory calculus courses, serving as the standard technique for proving foundational limits such as lim(x→0) (sin x)/x = 1.

The motivating question is deceptively simple: how do you evaluate the limit of a function whose behavior at a point is too erratic or complex for direct computation? Consider f(x) = x² sin(1/x) as x → 0. The sin(1/x) factor oscillates infinitely fast, making substitution and algebraic techniques useless. The Squeeze Theorem provides the answer by reframing the problem: instead of analyzing the function itself, we analyze what it must be trapped between.

SECTION 2

Core Principles & Definitions

The Squeeze Theorem rests on a simple but powerful logical structure. If a function f(x) is always sandwiched between a lower bound g(x) and an upper bound h(x), and if both g and h converge to the same limit L as x approaches some value c, then f has no choice but to converge to L as well. Understanding this theorem requires clarity on three foundational ideas: the notion of bounding a function, the behavior of limits under inequalities, and the conditions under which the squeeze succeeds.

Bounding Inequalities

For all x in an open interval around c (except possibly at c itself), we require g(x) ≤ f(x) ≤ h(x). The inequality must hold near c, though not necessarily at c or far from c.

Common Limit Condition

Both the lower bound g(x) and the upper bound h(x) must approach the same limit L as x → c. If their limits differ, the theorem cannot be applied.

Conclusion: f(x) → L

When both conditions are met, the limit of f(x) as x → c equals L. The function f is 'squeezed' to convergence, regardless of how wild its behavior might be between the bounds.

Locality of the Condition

The bounding inequalities need only hold on some open interval containing c (with c possibly excluded). The theorem is a local result—behavior far from c is irrelevant.

✦

KEY TAKEAWAY

Think of the Squeeze Theorem like walking through a narrowing corridor. Your position (f) might wander unpredictably between the left wall (g) and the right wall (h), but if both walls converge to the same point at the end of the hallway, you will arrive at that exact point no matter how erratically you walk. The walls force convergence.

SECTION 3

Visual Explanation

A well-constructed graph is the most intuitive way to see the Squeeze Theorem in action. The diagram below shows three functions near the point x = 0: the oscillating function f(x) = x² sin(1/x), the upper bound h(x) = x², and the lower bound g(x) = −x². Observe how f oscillates wildly between the parabolic bounds, yet as x → 0, both bounds converge to 0, forcing f(x) → 0 as well.

The cyan curve represents f(x) = x² sin(1/x), oscillating between the violet dashed parabolas h(x) = x² and g(x) = −x². Both bounds converge to 0 at the origin, so f(x) → 0 by the Squeeze Theorem.

In the diagram, notice that near x = 0 the gap between the upper and lower parabolic bounds shrinks to zero, trapping f(x) ever more tightly. The green dot at the origin marks the common limit L = 0. Far from the origin, the bounds are wide and f(x) oscillates with large amplitude, but as we zoom in toward x = 0, the oscillations are dampened by the x² factor until f(x) has no room to deviate from 0. This visual captures the essence of the theorem: convergence of the bounds forces convergence of the squeezed function.

SECTION 4

Mathematical Framework

The formal statement of the Squeeze Theorem translates the geometric intuition into precise analytic language. Once the theorem is stated rigorously, we can also examine a brief outline of its proof, which relies directly on the ε-δ definition of a limit. Understanding both the statement and the proof deepens your ability to apply the theorem confidently on the AP exam.

SQUEEZE THEOREM — FORMAL STATEMENT

If g(x) ≤ f(x) ≤ h(x) for all x in an open interval containing c (except possibly at c), and lim(x→c) g(x) = lim(x→c) h(x) = L, then lim(x→c) f(x) = L.

Here, g(x) is the lower bounding function, h(x) is the upper bounding function, f(x) is the function whose limit we seek, c is the point of approach, and L is the common limit value.

KEY TRIGONOMETRIC BOUND

−1 ≤ sin(θ) ≤ 1 and −1 ≤ cos(θ) ≤ 1 for all θ ∈ ℝ

These universal bounds on sine and cosine are the most frequently used starting inequalities when constructing a squeeze argument involving trigonometric functions.

CANONICAL RESULT

lim(x→0) (sin x)/x = 1

This foundational limit, proved via the Squeeze Theorem using geometric area comparisons of a unit-circle sector, is essential for differentiating sin x from first principles and appears frequently on the AP exam.

Proof sketch. Let ε > 0 be given. Since lim(x→c) g(x) = L, there exists δ₁ > 0 such that |g(x) − L| < ε whenever 0 < |x − c| < δ₁. Similarly, since lim(x→c) h(x) = L, there exists δ₂ > 0 such that |h(x) − L| < ε whenever 0 < |x − c| < δ₂. Choose δ = min(δ₁, δ₂). Then for 0 < |x − c| < δ, we have L − ε < g(x) ≤ f(x) ≤ h(x) < L + ε, which gives |f(x) − L| < ε. Since ε was arbitrary, lim(x→c) f(x) = L. □

SECTION 5

Strategy for Constructing a Squeeze Argument

Knowing the theorem's statement is only half the battle—the real skill lies in identifying when to use it and constructing appropriate bounding functions. The following strategy guide breaks down the process into a systematic workflow that you can apply to any Squeeze Theorem problem on the AP Calculus AB exam.

The four-step strategy: identify the bounded oscillating factor, establish its bounds, multiply through by the dampening factor that approaches zero, then evaluate the limits of the resulting upper and lower bounding functions.

Step 1 — Identify the oscillating or bounded factor. Look for sin, cos, or other bounded expressions whose argument tends to infinity or is otherwise problematic.
Step 2 — Write the universal bound. Replace the oscillating factor with its maximum and minimum values. For instance, −1 ≤ sin(anything) ≤ 1.
Step 3 — Multiply through by the dampening factor. Multiply all three parts of the inequality by the factor that approaches zero (or another limit). If this factor can be negative, split into cases or use absolute values to preserve inequality direction.
Step 4 — Evaluate the outer limits. Compute lim g(x) and lim h(x). If they are equal, cite the Squeeze Theorem and state the conclusion.

⚠

Common Pitfall

When multiplying through an inequality, be careful about the sign of the dampening factor. Multiplying by a negative quantity reverses the inequality signs. Near x = 0, the factor x² is always non-negative, so the inequality direction is preserved. However, a factor like x (which can be positive or negative near 0) requires more care—consider using |x| or splitting into left- and right-hand limits.

SECTION 6

Worked Example

Let us work through a complete Squeeze Theorem problem: evaluate lim(x→0) x² cos(1/x). This function is undefined at x = 0 because cos(1/x) oscillates infinitely as x → 0, yet direct substitution suggests the x² factor might drive the product to zero. The Squeeze Theorem confirms this rigorously.

Evaluate lim(x→0) x² cos(1/x)

1
Step 1 — Identify the Bounded Factor

The factor cos(1/x) oscillates as x → 0 but is universally bounded: −1 ≤ cos(1/x) ≤ 1 for all x ≠ 0. This is the oscillating component we will squeeze.
2
Step 2 — Multiply Through by the Dampening Factor

Since x² ≥ 0 for all x, multiplying the inequality −1 ≤ cos(1/x) ≤ 1 by x² preserves the direction of the inequalities:

−x² ≤ x² cos(1/x) ≤ x²
3
Step 3 — Evaluate the Limits of the Bounding Functions

Compute each outer limit: lim(x→0) (−x²) = 0 and lim(x→0) x² = 0. Both bounds converge to the same value, L = 0.

lim(x→0) g(x) = lim(x→0) h(x) = 0
4
Step 4 — Apply the Squeeze Theorem and Conclude

Since −x² ≤ x² cos(1/x) ≤ x² for all x ≠ 0, and both bounding functions approach 0 as x → 0, the Squeeze Theorem guarantees:

lim(x→0) x² cos(1/x) = 0

SECTION 7

Strengths and Limitations

The Squeeze Theorem is remarkably powerful in certain scenarios, but it is not a universal tool for finding limits. Understanding where it excels and where it falls short helps you decide when to reach for it versus other techniques such as L'Hôpital's Rule, algebraic manipulation, or direct substitution.

Strengths	Limitations
Handles wildly oscillating functions (e.g., sin(1/x), cos(1/x)) that defeat algebraic simplification.	Requires you to find two bounding functions with the same limit—this is not always straightforward.
Works with any type of limit: x → c, x → ∞, one-sided limits, and even sequence limits.	If the bounding functions converge to different limits, the theorem is inconclusive—no information is gained.
Provides rigorous proof of a limit value, not just a numerical estimate.	Only determines the limit value—it does not tell you whether the original function is continuous at the point.
Essential for proving foundational results like lim(x→0) (sin x)/x = 1 that underpin all of differential calculus.	Tight bounds are needed; overly generous bounds (e.g., −100 ≤ f(x) ≤ 100) won't converge to a common limit.

Strengths vs. limitations of the Squeeze Theorem

💡

WHEN TO USE THE SQUEEZE THEOREM

Reach for the Squeeze Theorem whenever you see a product (or quotient) of a bounded oscillatory factor with a factor that approaches zero (or infinity in the denominator). The classic signal is a function like xⁿ · trig(1/x) as x → 0, where the power of x controls the amplitude of the oscillation. If you can bound one factor and evaluate the limit of the other, the Squeeze Theorem will finish the job.

SECTION 8

Connections to Advanced Theory

The Squeeze Theorem does not exist in isolation—it connects to several deeper ideas that you will encounter as you progress through calculus and beyond. Understanding these connections enriches your appreciation of the theorem and prepares you for more advanced coursework such as AP Calculus BC and real analysis.

AP Calculus AB Concept	Advanced Extension
Squeeze Theorem for functions at a point: lim(x→c) f(x) = L	Squeeze Theorem for sequences: if aₙ ≤ bₙ ≤ cₙ and aₙ, cₙ → L, then bₙ → L. Used extensively in series convergence proofs.
lim(x→0) (sin x)/x = 1 (proved via geometric squeeze)	Foundation for the derivative of sin x, which leads to the full library of trigonometric derivatives via the chain rule.
Bounding oscillatory products near a point	Dominated Convergence Theorem in real analysis, where integrable bounds allow interchange of limits and integrals.
Comparison of function values via inequalities	Comparison Test and Limit Comparison Test for infinite series in Calculus BC, both of which rely on bounding logic analogous to the squeeze.

Squeeze Theorem in AP Calculus AB vs. advanced extensions

As you move into AP Calculus BC and beyond, the bounding-and-comparison philosophy behind the Squeeze Theorem reappears constantly. The Comparison Test for series, the Integral Test, and even the definition of Riemann integrability (bounding a function between upper and lower Riemann sums) are all spiritual descendants of the same idea: if you can trap a quantity between two things that converge to the same value, you know the quantity's limit.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following conditions is NOT required to apply the Squeeze Theorem to conclude that lim(x→c) f(x) = L?

A. g(x) ≤ f(x) ≤ h(x) for all x in some open interval containing c (except possibly at c)
B. lim(x→c) g(x) = L
C. lim(x→c) h(x) = L
D. f(c) must be defined and equal to L
E. The inequality g(x) ≤ f(x) ≤ h(x) holds on an interval near c, not necessarily for all real numbers

Show answer (D)

The correct answer is D. The Squeeze Theorem concerns the limit of f as x → c, which depends only on the behavior of f near c, not on the value f(c) itself. The function f need not even be defined at c—what matters is that f is trapped between g and h in a punctured neighborhood of c and that both bounding limits equal L. Choice A states the bounding inequality, which is required. Choices B and C state the common limit condition for each bound, both required. Choice E correctly notes that the inequality is a local condition. Only D imposes an unnecessary requirement about the function's value at the point.

Question 2: BASIC CALCULATION

Evaluate lim(x→0) x⁴ sin(1/x³).

A. 0
B. 1
C. −1
D. The limit does not exist
E. ∞

Show answer (A)

The correct answer is A. Since −1 ≤ sin(1/x³) ≤ 1 for all x ≠ 0, multiplying through by x⁴ (which is non-negative) yields −x⁴ ≤ x⁴ sin(1/x³) ≤ x⁴. Both −x⁴ and x⁴ approach 0 as x → 0, so by the Squeeze Theorem, lim(x→0) x⁴ sin(1/x³) = 0. Choice B (value 1) would require the sine factor to dominate, which it cannot since it is bounded. Choice C (−1) is similarly impossible. Choice D is incorrect because the Squeeze Theorem provides a definitive limit. Choice E (∞) is wrong because x⁴ → 0 and the sine factor is bounded.

Question 3: INTERMEDIATE

Let f be a function such that 3x − 1 ≤ f(x) ≤ x² − x + 3 for all x near x = 2. What is lim(x→2) f(x)?

A. 3
B. 5
C. 7
D. The Squeeze Theorem cannot be applied because the bounds are not the same type of function
E. The limit does not exist

Show answer (B)

The correct answer is B. By the Squeeze Theorem, since lim(x→2) (3x − 1) = 3(2) − 1 = 5 and lim(x→2) (x² − x + 3) = 4 − 2 + 3 = 5, and 3x − 1 ≤ f(x) ≤ x² − x + 3 for all x near x = 2, it follows that lim(x→2) f(x) = 5.

Question 4: APPLIED

4 pts

A particle moves along the x-axis with position function p(t) = t² sin(π/t) for t > 0. (a) Use the Squeeze Theorem to find lim(t→0⁺) p(t). (b) Does the particle have a well-defined position as t approaches 0 from the right? Justify your answer. (c) Find lim(t→0⁺) p(t)/t, or show that it does not exist. (d) Interpret the result from part (c) in terms of the particle's velocity.

Show answer

Rubric (4 points): Point 1 (Part a): Since −1 ≤ sin(π/t) ≤ 1 for all t ≠ 0 and t² ≥ 0, we have −t² ≤ t² sin(π/t) ≤ t². Since lim(t→0⁺)(−t²) = 0 and lim(t→0⁺)(t²) = 0, the Squeeze Theorem gives lim(t→0⁺) t² sin(π/t) = 0. [1 point for correct bounding and conclusion] Point 2 (Part b): Yes. Since the limit exists and equals 0, the particle approaches position x = 0 as t → 0⁺. Even though the particle oscillates, the amplitude of oscillation shrinks to zero, so the position converges. [1 point for correct justification connecting limit existence to well-defined limiting position] Point 3 (Part c): p(t)/t = t² sin(π/t) / t = t sin(π/t). Again, −1 ≤ sin(π/t) ≤ 1, so −|t| ≤ t sin(π/t) ≤ |t|. For t → 0⁺, this gives −t ≤ t sin(π/t) ≤ t. Both bounds approach 0, so by the Squeeze Theorem, lim(t→0⁺) t sin(π/t) = 0. [1 point for correct computation and application of the Squeeze Theorem] Point 4 (Part d): The quantity p(t)/t = t sin(π/t) represents an average rate. More precisely, [p(t) − p(0)]/[t − 0] = t sin(π/t) if we define p(0) = 0 (from part a). Since this limit is 0, the derivative p'(0⁺) = 0, meaning the particle's instantaneous velocity approaches 0 as t → 0⁺. [1 point for correct interpretation connecting the limit to the derivative/velocity]

Question 5: CRITICAL THINKING

3 pts

Consider f(x) = sin(1/x) (without any dampening factor) as x → 0. (a) Explain why the Squeeze Theorem, as typically applied with bounds −1 ≤ sin(1/x) ≤ 1, fails to determine lim(x→0) sin(1/x). (b) Does lim(x→0) sin(1/x) exist? Justify using the definition of a limit or a sequential argument. (c) State one modification to f(x) that would make the Squeeze Theorem applicable, and explain why.

Show answer

Rubric (3 points): Point 1 (Part a): The bounds give −1 ≤ sin(1/x) ≤ 1, and the limits of the constant functions −1 and 1 are −1 and 1 respectively. Since −1 ≠ 1, the Squeeze Theorem's hypothesis (equal limits of both bounds) is not satisfied, so the theorem is inconclusive. No tighter constant bounds exist because sin(1/x) actually attains both −1 and 1 infinitely often near 0. [1 point] Point 2 (Part b): The limit does not exist. Consider the sequences xₙ = 1/(2nπ + π/2) and yₙ = 1/(2nπ − π/2). As n → ∞, both xₙ → 0 and yₙ → 0, but sin(1/xₙ) = sin(2nπ + π/2) = 1 and sin(1/yₙ) = sin(2nπ − π/2) = −1. Since two sequences approaching 0 yield different function limits, the limit does not exist by the sequential criterion for limits. [1 point] Point 3 (Part c): Multiplying by x² gives f(x) = x² sin(1/x). Now the bounds become −x² ≤ x² sin(1/x) ≤ x², and both −x² and x² approach 0. The key modification is introducing a factor that vanishes at the limit point, which forces the bounding functions to share a common limit. Any factor p(x) with lim(x→0) p(x) = 0 and p(x) ≥ 0 near 0 would work (e.g., |x|, x², x⁴,

e^{−1/x²}

, etc.). [1 point]

SUMMARY

Lesson Summary

Summary

The Squeeze Theorem states that if g(x) ≤ f(x) ≤ h(x) near a point c and lim g(x) = lim h(x) = L, then lim f(x) = L. The strategy involves four key steps: identify the bounded oscillating factor, establish universal bounds (such as −1 ≤ sin θ ≤ 1), multiply through by the dampening factor that approaches zero, and verify that the resulting upper and lower bounds share a common limit.

This theorem is indispensable for evaluating limits of products like x² sin(1/x) and x² cos(1/x) as x → 0, and it serves as the foundation for proving that lim(x→0) (sin x)/x = 1, a result essential to differentiating trigonometric functions. Remember: the theorem only applies when both bounds converge to the same value L, and the bounding inequalities must hold in a neighborhood of the limit point.