Unit 1The Squeeze Theorem
Concept 4.94Built for May 2027 AP Exam

The Squeeze Theorem

Reviewed by ACEpath AP Math Editorial Team

Last Updated: September 2026

30-second summary

The squeeze theorem settles a limit you cannot compute by trapping the function between two you can. Three conditions must hold at once: the inequality runs in the right direction on both sides, it holds on an open interval around the point rather than at scattered inputs, and the two outer functions share the same limit there. When all three hold, the trapped function has no room left and must take that same value. The theorem proves existence and value together, which is why it appears where no algebraic rewrite exists, most often with sin⁡(1x)\sin\left(\frac{1}{x}\right) multiplied by something that shrinks. A pair of bounds with different limits proves nothing at all; that is the version students write under time pressure, and it earns nothing.

On the AP Exam

The theorem shows up in two costumes. In multiple choice it is a computation: an oscillating factor multiplied by a shrinking factor, with the four choices separating students who know the bounds from students who guess. In free response it is a justification: the rubric wants the theorem named, the inequality written for xx near the point, and the two outer limits shown to agree. A correct value with no inequality in sight is the single most common way to lose that point.

What you’ll see
Products of a bounded oscillating factor with a factor tending to zero, functions defined only by an inequality, and graphs showing a curve pinned between two others near a point.
What you’ll do
Build the inequality from a known bound, evaluate both outer limits, confirm they agree, then cite the theorem as the reason the middle limit equals that value.
Memory hook
Same limit on both walls. A corridor only forces a destination when both walls end in the same place.
Use it on the exam
For MCQs: Check the two outer limits before anything else. If they differ, the item is testing whether you notice, and the middle limit is not determined. If they agree, the answer is that shared value, no matter how wild the middle function looks. For FRQs: Write three lines: the inequality with its interval, both outer limits with their common value, and the conclusion naming the theorem. Three lines, one point, and no credit for the value alone.

Concept Review

The Three Conditions, Separately

Most errors come from satisfying two of the three and reporting a conclusion anyway. Each condition fails in its own way.

ConditionWhat it saysHow it failsWhat the failure means
Boundingg(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) on an open interval around aa.The inequality holds only at isolated inputs or only far from aa.The theorem never applies; a pointwise check is not a bound.
Matching outer limitslim⁡x→ag(x)=lim⁡x→ah(x)=L\lim_{x \to a} g(x) = \lim_{x \to a} h(x) = L.The two outer limits differ, or one fails to exist.No conclusion about ff. The corridor has two different exits.
LocalityThe inequality holds for every x≠ax \ne a in some open interval containing aa.The bound breaks down in the immediate neighbourhood of aa.The squeeze says nothing at aa, even if it holds everywhere else.

Note what is missing from the list: any requirement that the functions be trigonometric, or that ff be continuous, or that f(a)f(a) exist. The theorem is about the limit only, and it never mentions the value at the point.

Building the Inequality

The hard part is never the conclusion. It is producing a usable pair of bounds.

  1. Start from a bound you already own. For sine and cosine, −1≤sin⁡θ≤1-1 \le \sin\theta \le 1 and −1≤cos⁡θ≤1-1 \le \cos\theta \le 1 hold for every real θ\theta, including θ=1x\theta = \frac{1}{x}.
  2. Multiply through by the shrinking factor. With x2≥0x^{2} \ge 0 you get −x2≤x2sin⁡(1x)≤x2-x^{2} \le x^{2}\sin\left(\frac{1}{x}\right) \le x^{2}; with a linear factor the walls are the two lines y=xy = x and y=−xy = -x. If the multiplier can be negative, the inequality direction flips, so handle each side separately.
  3. Evaluate both outer limits. Here both tend to 00 as x→0x \to 0, so the corridor closes.
  4. Conclude and cite. The value is the shared outer limit, and the reason is the theorem by name.

Figure 1 — A corridor closing on zero.

Caption. The dashed lines are the walls and the solid curve is the function under study. Near the origin the oscillation never stops, and the walls meet there, so the curve is forced to the same place. The linear factor is drawn because the quadratic version used in the worked examples has the same corridor with parabola walls, and there the envelope shrinks so fast that the wiggles are invisible at any printable scale.

The lines y equals x and y equals minus x form a corridor closing at the origin, with the rapidly oscillating curve y equals x sine of one over x trapped inside

Three Corrections Worth Memorising

  • “The middle function is between two functions, so its limit exists.”

    • Correct: only if the two outer limits agree. With unequal outer limits the inequality is a statement about size, not about destination.
  • “The bound only needs to hold where I checked.”

    • Correct: it needs to hold on an open interval around the point. Evaluating the inequality at x=1x = 1 and x=−1x = -1 says nothing about behaviour near 00.
  • “sin⁡(1x)\sin\left(\frac{1}{x}\right) has no limit, so nothing involving it has a limit.”

    • Correct: the oscillation factor alone diverges in behaviour, but the product with a shrinking factor is squeezed. The theorem exists exactly to handle that product.

Topic-Specific Study Method

The Corridor Test

Borrowed idea: Where can this function possibly land? Look at the factor that oscillates, then at the factor that shrinks. Does the shrinking factor go to zero fast enough to flatten the oscillation? If it does, you already own the bounds: the oscillation lives between minus one and one, so the product lives between minus the shrinking factor and the shrinking factor. Why do the two walls have to meet? Because a corridor with two different exits constrains nothing. Read the outer limits before you write the conclusion. When they agree, the middle has nowhere else to go. That is the whole proof, and it is three lines long on paper.

  1. Write the oscillation bound first. One line: −1≤sin⁡θ≤1-1 \le \sin\theta \le 1. Do not attempt to describe the oscillation more precisely than that; precision is not needed and invites errors.
  2. Multiply by the shrinking factor and watch the sign. If the multiplier is non-negative, the direction survives. If it can be negative, split into the positive and negative cases, or use absolute value and then apply the theorem to −∣f∣≤f≤∣f∣-|f| \le f \le |f|.
  3. Evaluate both walls and compare. Two limits, written out. If they differ, stop and say the theorem does not apply rather than inventing a value.
  4. Close with the theorem by name. "By the squeeze theorem, lim⁡f(x)=0\lim f(x) = 0." Naming it is the justification point on a free response and costs four words.
What the page showsWhat your brain must translateWhat you writeWhere the marks go
x2sin⁡(1x)x^{2}\sin\left(\frac{1}{x}\right) near 00Bounded times shrinking−x2≤x2sin⁡(1x)≤x2-x^{2} \le x^{2}\sin\left(\frac{1}{x}\right) \le x^{2}The inequality line earns the method point
xsin⁡(1x)x\sin\left(\frac{1}{x}\right) near 00Same structure, linear shrink−∣x∣≤xsin⁡(1x)≤∣x∣-\lvert x\rvert \le x\sin\left(\frac{1}{x}\right) \le \lvert x\rvert Absolute values must appear; omitting them is a gap
sin⁡(3x)x\frac{\sin(3x)}{x} near 00The argument and the denominator disagreesin⁡(3x)x=3⋅sin⁡(3x)3x→3\frac{\sin(3x)}{x} = 3\cdot\frac{\sin(3x)}{3x} \to 3The rescaling factor is the answer, not 11
g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) with g,h→4g, h \to 4The corridor closes at 44"Both outer limits are 44, so the limit is 44"No computation needed; the conclusion is the point
g→2g \to 2 and h→5h \to 5Two different exits"The theorem gives no information"Saying this earns credit; inventing a number loses it

Training & Error Diagnosis

Core Archetype (Simplest Form): Evaluate lim⁡x→0x2sin⁡(1x)\lim_{x \to 0}x^{2}\sin\left(\frac{1}{x}\right).

Standard Execution:

  1. Bound the oscillation. For every x≠0x \neq 0, −1≤sin⁡(1x)≤1-1 \le \sin\left(\frac{1}{x}\right) \le 1.
  2. Multiply by x2≥0x^{2} \ge 0. −x2≤x2sin⁡(1x)≤x2-x^{2} \le x^{2}\sin\left(\frac{1}{x}\right) \le x^{2}.
  3. Evaluate the walls. Both x2x^{2} and −x2-x^{2} tend to 00 as x→0x \to 0.
  4. Conclude. By the squeeze theorem, the limit is 00.

Exam Variation (Context / Parameter Shift): Evaluate lim⁡x→0sin⁡(5x)2x\lim_{x \to 0}\dfrac{\sin(5x)}{2x} and, separately, lim⁡x→0xcos⁡(1x2)\lim_{x \to 0}x\cos\left(\frac{1}{x^{2}}\right).

Solution: For the first, rewrite as 52⋅sin⁡(5x)5x\frac{5}{2}\cdot\frac{\sin(5x)}{5x}. As x→0x \to 0 the argument 5x→05x \to 0, so the bracketed factor tends to 11 and the limit is 52\frac{5}{2}. For the second, −1≤cos⁡(1x2)≤1-1 \le \cos\left(\frac{1}{x^{2}}\right) \le 1 and ∣x∣→0\lvert x\rvert \to 0, so −∣x∣≤xcos⁡(1x2)≤∣x∣-\lvert x\rvert \le x\cos\left(\frac{1}{x^{2}}\right) \le \lvert x\rvert and the limit is 00.

Common Traps & Failure Signals:

  1. Unequal walls (Signal: the two outer limits compute to different numbers): Stop. The inequality constrains size, not destination, and no amount of algebra turns it into a limit.
  2. Non-local bound (Signal: the inequality was verified at one or two sample inputs): The condition is an open interval around the point, so a pointwise check is not evidence.
  3. The unscaled sine (Signal: sin⁡(kx)x\frac{\sin(kx)}{x} with k≠1k \neq 1): The answer is kk, not 11. Rewrite so the argument and the denominator match before quoting the standard limit.

6D Cognitive Error Diagnosis (Where Your Thinking Broke):

  • Wall Blindness: You conclude before checking the second wall.
  • Theorem Aversion: Because the theorem asks for an inequality rather than a computation, it feels like proof-writing rather than problem-solving, so under time pressure the bounds get skipped and a value gets guessed from the shape of the expression.
  • Local Check Confusion: You test the inequality at convenient inputs like x=1x = 1 and call the condition met.

Past 10-Year AP Exam Appearance

Testing Frequency
Rare in FRQs
Only inside bounded-oscillation items, never asked by name
10-Year Total Count
1 of 9 Exams · 1 FRQ Part
Bounded oscillation against a shrinking factor
FRQ Years Appeared
2019 (Q6d)

Practice Examples

MCQ 1

The Shrinking Oscillation

Evaluate lim⁡x→0x2sin⁡(1x)\lim_{x \to 0}x^{2}\sin\left(\frac{1}{x}\right)

MCQ 2

The Scaled Sine

Evaluate lim⁡x→0sin⁡(3x)x\lim_{x \to 0}\frac{\sin(3x)}{x}

MCQ 3

A Function Given Only by an Inequality

A function ff satisfies 2−x2≤f(x)≤2+x22 - x^{2} \le f(x) \le 2 + x^{2} for all real xx. What is lim⁡x→0f(x)\lim_{x \to 0}f(x)?

FRQ 4

Three Lines of Justification

Let f(x)=x2sin⁡(1x)f(x) = x^{2}\sin\left(\frac{1}{x}\right) for x≠0x \neq 0.

(a) Write an inequality that traps f(x)f(x) between two functions for all x≠0x \neq 0, and state the interval on which it holds.

(b) Evaluate both outer limits as x→0x \to 0 and use the squeeze theorem to find lim⁡x→0f(x)\lim_{x \to 0}f(x).

(c) Evaluate lim⁡x→0sin⁡(4x)5x\lim_{x \to 0}\dfrac{\sin(4x)}{5x}.

(d) A student writes: "Since −1≤sin⁡(1x)≤1-1 \le \sin\left(\frac{1}{x}\right) \le 1, the limit of sin⁡(1x)\sin\left(\frac{1}{x}\right) as x→0x \to 0 is 00." Identify the error.

Cheatsheet

Setting Up a Squeeze

Lower wallUpper wallLimit
x2sin⁡(1x)x^{2}\sin\left(\frac{1}{x}\right), x→0x \to 0−x2-x^{2}x2x^{2}00
xsin⁡(1x)x\sin\left(\frac{1}{x}\right), x→0x \to 0−∣x∣-\lvert x\rvert ∣x∣\lvert x\rvert 00
xcos⁡(1x2)x\cos\left(\frac{1}{x^{2}}\right), x→0x \to 0−∣x∣-\lvert x\rvert ∣x∣\lvert x\rvert 00
ff with 2−x2≤f(x)≤2+x22 - x^{2} \le f(x) \le 2 + x^{2}2−x22 - x^{2}2+x22 + x^{2}22
sin⁡(kx)x\frac{\sin(kx)}{x}, x→0x \to 0not a squeezenot a squeezekk, by rescaling
TOPIC REVIEW • NEXT STEP IN YOUR LEARNING LOOP

Ready to check your understanding?

Strengthen this topic with AP-style practice, or continue to next topic.