Squeeze Theorem: Statement, Proof & Examples

#Calculus
TL;DR
The Squeeze Theorem says that if a function ff is trapped between two functions gg and hh near a point aa, and both gg and hh approach the same limit LL there, then ff must approach LL too. It is the standard tool for limits you cannot compute directly, and it is what proves the two cornerstone results lim⁡x→0x2sin⁡1x=0\lim_{x \to 0} x^2 \sin\frac{1}{x} = 0 and lim⁡x→0sin⁡xx=1\lim_{x \to 0} \frac{\sin x}{x} = 1.
BT
Bhanzu TeamLast updated on September 23, 202612 min read

What Is The Squeeze Theorem?

The Squeeze Theorem (also called the Sandwich Theorem) is a rule for finding the limit of a function that is hard to evaluate directly, by trapping it between two functions whose limits are known and equal. Here is the precise statement.

Statement. Suppose g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) for every xx near aa (except possibly at aa itself). If lim⁡x→ag(x)=lim⁡x→ah(x)=L,\lim_{x \to a} g(x) = \lim_{x \to a} h(x) = L, then ff has a limit at aa and lim⁡x→af(x)=L.\lim_{x \to a} f(x) = L.

Three parts of that statement carry all the weight, and each one is a place learners slip:

  • The inequality g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) only has to hold near aa, not everywhere, and not necessarily at aa itself.

  • The two outer functions must approach the same number LL. If they head to different values, the theorem says nothing.

  • The middle function ff is the one you could not evaluate on its own. The outer functions gg and hh are chosen precisely because they are easy.

The name is the picture: ff is the filling, gg and hh are the two slices of bread. Pinch the bread together at height LL and the filling has nowhere to go but LL.

How Do You Use The Squeeze Theorem On x2sin⁡1xx^2 \sin\frac{1}{x}?

The first showcase limit is one that resists every ordinary method. As x→0x \to 0, the factor sin⁡1x\sin\frac{1}{x} oscillates faster and faster between −1-1 and 11 and never settles, so you cannot substitute, factor, or cancel. The Squeeze Theorem handles it in three steps.

Step 1: Bound the oscillating factor.

For every real input, sine stays between −1-1 and 11:

−1≤sin⁡1x≤1-1 \le \sin\frac{1}{x} \le 1

Step 2: Multiply through by x2x^2.

Because x2≥0x^2 \ge 0, multiplying does not flip the inequality:

−x2≤x2sin⁡1x≤x2-x^2 \le x^2 \sin\frac{1}{x} \le x^2

Now the middle expression is exactly the function we want, trapped between g(x)=−x2g(x) = -x^2 and h(x)=x2h(x) = x^2.

Step 3: Take the limits of the two bounds.

lim⁡x→0(−x2)=0andlim⁡x→0x2=0\lim_{x \to 0} (-x^2) = 0 \qquad \text{and} \qquad \lim_{x \to 0} x^2 = 0

Both outer functions approach the same value, L=0L = 0. By the Squeeze Theorem:

lim⁡x→0x2sin⁡1x=0\lim_{x \to 0} x^2 \sin\frac{1}{x} = 0

Final answer: lim⁡x→0x2sin⁡1x=0\lim_{x \to 0} x^2 \sin\frac{1}{x} = 0.

The geometric reading is worth pausing on. The graph of x2sin⁡1xx^2 \sin\frac{1}{x} wobbles wildly, but it lives entirely inside the two parabolas y=x2y = x^2 and y=−x2y = -x^2, which pinch shut at the origin. No matter how violently the curve oscillates, the closing gap between the parabolas drags it to zero.

How Do You Prove lim⁡x→0sin⁡xx=1\lim_{x \to 0}\frac{\sin x}{x} = 1?

The second showcase limit is the one every calculus course leans on, because it is the seed of the derivative of sine and, through it, all differentiation of trigonometric functions. Substituting x=0x = 0 gives the indeterminate form 00\frac{0}{0}, so we bound the ratio geometrically.

Picture a unit circle and a small positive angle xx (measured in radians) at the centre. Compare three regions built on that angle:

  • The inner triangle, with area 12sin⁡x\tfrac{1}{2}\sin x.

  • The circular sector, with area 12x\tfrac{1}{2}x.

  • The outer triangle, with area 12tan⁡x\tfrac{1}{2}\tan x.

Because each region sits inside the next, their areas are ordered:

12sin⁡x≤12x≤12tan⁡x\tfrac{1}{2}\sin x \le \tfrac{1}{2}x \le \tfrac{1}{2}\tan x

Multiply through by 22 and use tan⁡x=sin⁡xcos⁡x\tan x = \frac{\sin x}{\cos x}:

sin⁡x≤x≤sin⁡xcos⁡x\sin x \le x \le \frac{\sin x}{\cos x}

Divide every part by sin⁡x\sin x, which is positive for 0<x<π20 < x < \tfrac{\pi}{2}:

1≤xsin⁡x≤1cos⁡x1 \le \frac{x}{\sin x} \le \frac{1}{\cos x}

Take reciprocals, which reverses the inequalities:

cos⁡x≤sin⁡xx≤1\cos x \le \frac{\sin x}{x} \le 1

Now the ratio sin⁡xx\frac{\sin x}{x} is squeezed between g(x)=cos⁡xg(x) = \cos x and h(x)=1h(x) = 1. As x→0x \to 0:

lim⁡x→0cos⁡x=1andlim⁡x→01=1\lim_{x \to 0} \cos x = 1 \qquad \text{and} \qquad \lim_{x \to 0} 1 = 1

Both bounds close on L=1L = 1. Because sin⁡xx\frac{\sin x}{x} is an even function (top and bottom are both odd, so the ratio is even), the same bound holds for small negative xx, giving the two-sided result:

lim⁡x→0sin⁡xx=1\lim_{x \to 0}\frac{\sin x}{x} = 1

Final answer: lim⁡x→0sin⁡xx=1\lim_{x \to 0}\frac{\sin x}{x} = 1.

Geometrically, this says that for a tiny angle the arc length xx, the chord-related quantity sin⁡x\sin x, and the tangent segment tan⁡x\tan x all become indistinguishable, which is exactly why a small slice of a curve looks straight.

What Is lim⁡x→01−cos⁡xx\lim_{x \to 0}\frac{1 - \cos x}{x}?

This limit follows directly from the last one and shows up constantly alongside it. Substituting x=0x = 0 again gives 00\frac{0}{0}, so multiply the top and bottom by the conjugate 1+cos⁡x1 + \cos x:

1−cos⁡xx=(1−cos⁡x)(1+cos⁡x)x,(1+cos⁡x)=1−cos⁡2xx,(1+cos⁡x)\frac{1 - \cos x}{x} = \frac{(1 - \cos x)(1 + \cos x)}{x,(1 + \cos x)} = \frac{1 - \cos^2 x}{x,(1 + \cos x)}

Use the identity 1−cos⁡2x=sin⁡2x1 - \cos^2 x = \sin^2 x and split the fraction:

sin⁡2xx,(1+cos⁡x)=sin⁡xx⋅sin⁡x1+cos⁡x\frac{\sin^2 x}{x,(1 + \cos x)} = \frac{\sin x}{x} \cdot \frac{\sin x}{1 + \cos x}

Now take the limit of each piece as x→0x \to 0. The first piece is the result we just proved, sin⁡xx→1\frac{\sin x}{x} \to 1. The second piece tends to 01+1=0\frac{0}{1 + 1} = 0:

lim⁡x→01−cos⁡xx=1⋅02=0\lim_{x \to 0}\frac{1 - \cos x}{x} = 1 \cdot \frac{0}{2} = 0

Final answer: lim⁡x→01−cos⁡xx=0\lim_{x \to 0}\frac{1 - \cos x}{x} = 0.

What Are Some Worked Squeeze Theorem Examples?

Example 1: A bounded factor times a vanishing one.

Evaluate lim⁡x→0x2cos⁡1x\lim_{x \to 0} x^2 \cos\frac{1}{x}.

Cosine is bounded the same way sine is:

−1≤cos⁡1x≤1-1 \le \cos\frac{1}{x} \le 1

Multiply by x2≥0x^2 \ge 0:

−x2≤x2cos⁡1x≤x2-x^2 \le x^2 \cos\frac{1}{x} \le x^2

Both outer limits are 00, so the middle is squeezed to 00.

Final answer: lim⁡x→0x2cos⁡1x=0\lim_{x \to 0} x^2 \cos\frac{1}{x} = 0.

Example 2: A three-function bound at a non-zero point.

Suppose a function ff satisfies 2x≤f(x)≤x2+12x \le f(x) \le x^2 + 1 for all xx near 11. Find lim⁡x→1f(x)\lim_{x \to 1} f(x).

Evaluate each bound at a=1a = 1:

lim⁡x→12x=2andlim⁡x→1(x2+1)=2\lim_{x \to 1} 2x = 2 \qquad \text{and} \qquad \lim_{x \to 1} (x^2 + 1) = 2

Both bounds meet at L=2L = 2, and ff is trapped between them, so:

Final answer: lim⁡x→1f(x)=2\lim_{x \to 1} f(x) = 2.

Example 3: Squeezing a limit at infinity.

Evaluate lim⁡x→∞sin⁡xx\lim_{x \to \infty}\frac{\sin x}{x}.

The numerator never leaves the band −1≤sin⁡x≤1-1 \le \sin x \le 1, so for x>0x > 0:

−1x≤sin⁡xx≤1x-\frac{1}{x} \le \frac{\sin x}{x} \le \frac{1}{x}

As x→∞x \to \infty, both −1x-\frac{1}{x} and 1x\frac{1}{x} tend to 00. The Squeeze Theorem gives:

Final answer: lim⁡x→∞sin⁡xx=0\lim_{x \to \infty}\frac{\sin x}{x} = 0.

Note that this is a different limit from lim⁡x→0sin⁡xx=1\lim_{x \to 0}\frac{\sin x}{x} = 1. Same expression, different approach point, different answer, which is a useful reminder that a limit is always tied to where xx is heading.

Which Bounds Should You Reach For? (A Quick Reference)

Most Squeeze Theorem problems fall into a few recognisable shapes. This table pairs the tell-tale form with the bound that usually cracks it.

Table: Common Squeeze Theorem setups and the bounds that solve them.

If the function looks like…

Use the bound…

Because it tends to…

x2sin⁡1xx^2 \sin\frac{1}{x}, x2cos⁡1xx^2 \cos\frac{1}{x}

−x2≤(it)≤x2-x^2 \le \text{(it)} \le x^2

00

xsin⁡1xx \sin\frac{1}{x} (near 00)

−∣x∣≤(it)≤∣x∣-\lvert x\rvert \le \text{(it)} \le \lvert x\rvert

00

sin⁡xx\dfrac{\sin x}{x} (near 00)

cos⁡x≤sin⁡xx≤1\cos x \le \dfrac{\sin x}{x} \le 1

11

sin⁡xx\dfrac{\sin x}{x} (as x→∞x \to \infty)

−1x≤sin⁡xx≤1x-\dfrac{1}{x} \le \dfrac{\sin x}{x} \le \dfrac{1}{x}

00

any bounded factor ×\times a factor →0\to 0

−∣factor∣≤(it)≤∣factor∣-\lvert\text{factor}\rvert \le \text{(it)} \le \lvert\text{factor}\rvert

00

The pattern in the last row is the master key: whenever a term stays inside a fixed band and multiplies something that vanishes, the product is squeezed to zero.

Why Does The Squeeze Theorem Work?

The theorem is one of the rare results in calculus that is as obvious in a picture as it is airtight in a proof. Here is the intuition, kept to its parts:

  • Near aa, the graph of ff is boxed in from below by gg and from above by hh. It cannot cross either boundary.

  • As x→ax \to a, the top and bottom of that box close on the single height LL. The vertical gap the graph is allowed to occupy shrinks to nothing.

  • A value pinned inside a gap that shrinks to a point has only one place left to be. So f(x)f(x) is forced to LL.

The rigorous version replaces "closes on" with the epsilon-delta definition of a limit. Because g→Lg \to L and h→Lh \to L, for any tolerance we can force both g(x)g(x) and h(x)h(x) within that tolerance of LL; the inequality g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) then drags f(x)f(x) into the same tolerance. That is the whole proof, and it is why the result is not just plausible but certain.

One thing the intuition also makes clear: the theorem needs both bounds to arrive at the same LL. If the box never closes, because the top and bottom head to different heights, ff is free to wander inside the gap and may have no limit at all.

Who Discovered The Squeeze Theorem?

The idea is far older than the calculus notation we write it in. It grew out of the ancient Greek method of measuring curved shapes by trapping them between straight-sided ones.

The modern, symbolic version came with the nineteenth-century drive to make calculus rigorous. Carl Friedrich Gauss (1777–1855, Germany) stated the bounding argument in modern terms, and Augustin-Louis Cauchy (1789–1857, France) supplied the epsilon-based definition of a limit that turns the geometric picture into a formal proof.

Where Is The Squeeze Theorem Used In The Real World?

Its reach goes well past the exam question, because "trap the unknown between two knowns" is a strategy engineers and scientists use constantly.

  • Signal processing: a noisy signal that stays inside a decaying envelope (like x2sin⁡1xx^2 \sin\frac{1}{x} inside ±x2\pm x^2) is guaranteed to settle, which is how engineers prove a filtered signal dies out.

  • Numerical error bounds: when an exact value cannot be computed, it is squeezed between an upper and lower estimate that converge, giving a guaranteed accuracy, the same logic Archimedes used for π\pi.

  • Physics of oscillations: a damped vibration bounded by a shrinking amplitude curve is shown to stop using exactly this bounding argument.

  • Machine learning: convergence proofs for training algorithms routinely trap an error term between two sequences that both tend to zero.

  • Computer graphics and animation: motion pinned between two easing curves that meet is smoothed to a predictable endpoint.

One habit, bounding a hard thing between two easy ones, runs from an ancient measurement of the circle to the algorithms training today's models.

What Are The Most Common Mistakes With The Squeeze Theorem?

These three errors account for most lost marks, and each traces back to dropping one of the theorem's conditions.

Using bounds that do not share the same limit.

Where it slips in:

A student finds some lower bound and some upper bound, checks that the function sits between them, and declares victory, without confirming both bounds head to the same number.

Don't do this:

Do not conclude anything when lim⁡g=0\lim g = 0 but lim⁡h=1\lim h = 1. Trapping a function between 00 and 11 only proves the limit is somewhere in that range, not that it exists.

The correct way:

Compute lim⁡x→ag(x)\lim_{x \to a} g(x) and lim⁡x→ah(x)\lim_{x \to a} h(x) separately and confirm they are equal before applying the theorem. Only their common value LL can be the answer.

Forgetting the inequality only needs to hold near aa.

Where it slips in:

A student abandons a valid bound because the inequality fails at one far-away point, or at aa itself, and assumes the theorem no longer applies.

Don't do this:

Do not require g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) for every xx. The theorem only asks that it hold on some interval around aa, and the value exactly at aa never matters for a limit.

The correct way:

Check the inequality only on a small neighbourhood of aa (excluding aa if needed). A bound that holds close to the point is enough, even if it breaks down elsewhere.

Mis-bounding an oscillating factor when a sign is negative.

Where it slips in:

Starting from −1≤sin⁡1x≤1-1 \le \sin\frac{1}{x} \le 1, a student multiplies by a quantity that can be negative and keeps the inequality pointing the same way.

Don't do this:

Do not multiply an inequality by a negative number without reversing it. Multiplying −1≤sin⁡1x≤1-1 \le \sin\frac{1}{x} \le 1 by x2x^2 is safe because x2≥0x^2 \ge 0; multiplying by a factor that changes sign is not.

The correct way:

Bound with absolute values to stay safe: ∣xsin⁡1x∣≤∣x∣\left\lvert x \sin\frac{1}{x}\right\rvert \le \lvert x\rvert, which gives −∣x∣≤xsin⁡1x≤∣x∣-\lvert x\rvert \le x\sin\frac{1}{x} \le \lvert x\rvert. Both outer bounds tend to 00 regardless of the sign of xx.

Practice Problems On The Squeeze Theorem

Work each limit, then check against the answer.

  1. lim⁡x→0x2sin⁡5x\lim_{x \to 0} x^2 \sin\frac{5}{x}.
    (Answer: 00, since −x2≤x2sin⁡5x≤x2-x^2 \le x^2\sin\frac{5}{x} \le x^2.)

  2. lim⁡x→0xcos⁡1x\lim_{x \to 0} x \cos\frac{1}{x}.
    (Answer: 00, since −∣x∣≤xcos⁡1x≤∣x∣-\lvert x\rvert \le x\cos\frac{1}{x} \le \lvert x\rvert.)

  3. lim⁡x→0sin⁡3xx\lim_{x \to 0}\frac{\sin 3x}{x}.
    (Answer: 33, write it as 3⋅sin⁡3x3x3\cdot\frac{\sin 3x}{3x} and use sin⁡uu→1\frac{\sin u}{u} \to 1.)

  4. A function obeys 4−x2≤f(x)≤4+x24 - x^2 \le f(x) \le 4 + x^2 near x=0x = 0. Find lim⁡x→0f(x)\lim_{x \to 0} f(x).
    (Answer: 44, both bounds tend to 44.)

  5. lim⁡x→∞cos⁡xx\lim_{x \to \infty}\frac{\cos x}{x}.
    (Answer: 00, since −1x≤cos⁡xx≤1x-\frac{1}{x} \le \frac{\cos x}{x} \le \frac{1}{x}.)

  6. lim⁡x→01−cos⁡xx2\lim_{x \to 0}\frac{1 - \cos x}{x^2}.
    (Answer: 12\frac{1}{2}, rewrite as sin⁡2xx2(1+cos⁡x)=(sin⁡xx)2⋅11+cos⁡x→1⋅12\frac{\sin^2 x}{x^2(1+\cos x)} = \left(\frac{\sin x}{x}\right)^2\cdot\frac{1}{1+\cos x} \to 1\cdot\frac{1}{2}.)

Where Should You Go Next After The Squeeze Theorem?

The Squeeze Theorem is a gateway into the limit-based heart of calculus, and a few natural doors open from here.

  1. Calculus. Step back to the big picture of limits, derivatives, and integrals, and see where the squeeze fits in the whole subject.

  2. Differentiation of trigonometric functions. The limit sin⁡xx→1\frac{\sin x}{x} \to 1 is exactly what makes the derivative of sin⁡x\sin x come out to cos⁡x\cos x.

  3. Trigonometric functions. Shore up the sine and cosine facts the two showcase limits depend on.

If your child is building these foundations, a live Bhanzu trainer teaches limits starting from the "why", the geometric trapping the Squeeze Theorem is built on, in Bhanzu's online math programme.

Was this article helpful?

Your feedback helps us write better content

Frequently Asked Questions

What is the Squeeze Theorem in simple terms?
If a function is trapped between two others that both head to the same value LL near a point, then the trapped function also heads to LL. It lets you find a hard limit by pinning it between two easy ones.
When can you not use the Squeeze Theorem?
You cannot use it when your two bounds approach different limits, or when you cannot find bounds that hold near the point at all. If the upper and lower bounds do not meet, the theorem gives no conclusion.
Does the Squeeze Theorem always give an answer of zero?
No. Zero is common because many textbook problems bound an oscillating term by ±x2\pm x^2 or ±∣x∣\pm|x|, but the limit is whatever common value LL the two bounds share. The bounds 2x2x and x2+1x^2+1 near x=1x = 1, for instance, both give L=2L = 2.
Why is the Squeeze Theorem also called the Sandwich Theorem?
Because the target function is the filling and the two bounding functions are the slices of bread. Press the bread together at height LL and the filling is forced to LL. Both names describe the same theorem.
How does the Squeeze Theorem prove that sin x over x equals 1?
By comparing three nested areas in a unit circle, a triangle, a sector, and a larger triangle, you get cos⁡x≤sin⁡xx≤1\cos x \le \frac{\sin x}{x} \le 1 for small xx. Since cos⁡x→1\cos x \to 1 and 1→11 \to 1, the trapped ratio is squeezed to 11.
Does the inequality need to hold everywhere for the Squeeze Theorem to work?
No. The bound g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) only needs to hold for xx near the point aa, and it does not need to hold at aa itself. A limit depends only on what happens close to the point, never on the point's own value.
✍️ Written By
BT
Bhanzu Team
Content Creator and Editor
Bhanzu’s editorial team, known as Team Bhanzu, is made up of experienced educators, curriculum experts, content strategists, and fact-checkers dedicated to making math simple and engaging for learners worldwide. Every article and resource is carefully researched, thoughtfully structured, and rigorously reviewed to ensure accuracy, clarity, and real-world relevance. We understand that building strong math foundations can raise questions for students and parents alike. That’s why Team Bhanzu focuses on delivering practical insights, concept-driven explanations, and trustworthy guidance-empowering learners to develop confidence, speed, and a lifelong love for mathematics.
Related Articles
Book a FREE Demo ClassBook Now →