4.1.5Calculus I — Limits & Derivatives

Squeeze theorem (sandwich theorem)

1,687 words8 min readdifficulty · medium6 backlinks

WHAT is it?

The "bread" of the sandwich is gg (lower) and hh (upper). The "filling" ff is squeezed in the middle.

Why we need it: Some functions are too wiggly to compute their limit directly — like x2sin(1/x)x^2\sin(1/x) near 00, where sin(1/x)\sin(1/x) oscillates infinitely fast. We can't plug in, we can't simplify nicely. But we can bound it.


WHY is it true? (Derivation from first principles)

We use the ε\varepsilonδ\delta definition of a limit. Recall: limxaf(x)=L\lim_{x\to a}f(x)=L means for every ε>0\varepsilon>0 there's a δ>0\delta>0 such that 0<xa<δ    f(x)L<ε0<|x-a|<\delta \implies |f(x)-L|<\varepsilon.

Step 1 — Translate the hypotheses. Since limxag(x)=L\lim_{x\to a}g(x)=L: given ε>0\varepsilon>0, there is δ1>0\delta_1>0 with 0<xa<δ1    Lε<g(x)<L+ε.0<|x-a|<\delta_1 \implies L-\varepsilon < g(x) < L+\varepsilon. Why this step? The definition of limit lets us force gg within ε\varepsilon of LL.

Step 2 — Same for the top. Since limxah(x)=L\lim_{x\to a}h(x)=L: there is δ2>0\delta_2>0 with 0<xa<δ2    Lε<h(x)<L+ε.0<|x-a|<\delta_2 \implies L-\varepsilon < h(x) < L+\varepsilon.

Step 3 — Take the smaller window. Let δ=min(δ1,δ2)\delta=\min(\delta_1,\delta_2). Then both bounds hold simultaneously when 0<xa<δ0<|x-a|<\delta. Why this step? We need a single δ\delta where everything is true at once.

Step 4 — Chain the inequalities. For 0<xa<δ0<|x-a|<\delta: Lε<g(x)f(x)h(x)<L+ε.L-\varepsilon < g(x) \le f(x) \le h(x) < L+\varepsilon. Why this step? The lower bound LεL-\varepsilon comes from gg; the upper bound L+εL+\varepsilon comes from hh. The middle is ff by hypothesis. So ff is trapped.

Step 5 — Read off the conclusion. Lε<f(x)<L+ε    f(x)L<ε.L-\varepsilon < f(x) < L+\varepsilon \iff |f(x)-L|<\varepsilon. That is exactly the definition of limxaf(x)=L\lim_{x\to a}f(x)=L. \blacksquare



HOW to use it (worked examples)


Common mistakes (steel-manned)


Recall Feynman: explain it to a 12-year-old

Imagine two elevators, a slow one above you and a fast one below you, and you're stuck on a platform between them. If both elevators are heading to the 3rd floor, you must end up on the 3rd floor too — you're squished between them and can't go anywhere else. The squeeze theorem says: if the function above and the function below both arrive at the same number, the function in the middle is forced to arrive there as well. We don't even need to watch the middle function — the two outside ones drag it along.


Active-recall flashcards

#flashcards/maths

State the squeeze theorem precisely.
If g(x)f(x)h(x)g(x)\le f(x)\le h(x) near aa and limxag=limxah=L\lim_{x\to a}g=\lim_{x\to a}h=L, then limxaf=L\lim_{x\to a}f=L.
What is the ONE condition people most often forget?
The two bounding functions must tend to the same limit LL.
Why must the inequality hold on a neighborhood, not just at aa?
Limits depend on behavior near aa, not the value at aa itself.
Evaluate limx0x2sin(1/x)\lim_{x\to0}x^2\sin(1/x) and name the bounds used.
=0=0; bounds x2x2sin(1/x)x2-x^2\le x^2\sin(1/x)\le x^2.
When you multiply an inequality near 00 by xx, what trap appears?
xx may be negative, flipping the inequality; use x2x^2 or x|x| instead.
Which ε\varepsilonδ\delta trick lets one δ\delta serve both bounds?
Take δ=min(δ1,δ2)\delta=\min(\delta_1,\delta_2) so both bounds hold at once.
Does the squeeze theorem work for sequences?
Yes — replace xax\to a with nn\to\infty; e.g. cosn/n0\cos n/n\to0.
Why can't we just plug x=0x=0 into x2sin(1/x)x^2\sin(1/x)?
sin(1/x)\sin(1/x) is undefined/oscillating at 00; so we bound instead of substitute.

Connections

  • Limit definition (epsilon-delta) — the engine that powers the proof.
  • Limits of trigonometric functions — squeeze gives limx0sinxx=1\lim_{x\to0}\frac{\sin x}{x}=1.
  • Bounded times vanishing — general pattern: bounded ×\times (something 0\to 0) =0=0.
  • Continuity — once a limit is found, it tests continuity.
  • Limits of sequences — same theorem, nn\to\infty version.
  • Oscillating functions — squeeze tames infinite oscillation.

Concept Map

foundation for

forces bounds via

traps f between walls

concludes

core idea

needed when

example

bound oscillation

multiply by x^2 >= 0

walls tend to 0

applies

epsilon-delta limit definition

Squeeze theorem proof

g and h both tend to L

g of x <= f of x <= h of x

lim f of x = L

Trapped function has no escape

Function too wiggly to compute directly

x^2 sin of 1 over x

-1 <= sin <= 1

-x^2 <= f <= x^2

limit = 0

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Squeeze theorem ka idea bilkul simple hai: agar koi function f(x)f(x) do aur functions ke beech "phasa" (sandwich) hua hai — neeche g(x)g(x) aur upar h(x)h(x) — aur dono walls same value LL tak ja rahe hain, toh beech wala f(x)f(x) bhi majboori mein LL tak hi jayega. Function ko bhaagne ki jagah hi nahi milti. Isiliye ise sandwich theorem bhi kehte hain — do bread slices same height pe milengi toh filling bhi wahi height pe hogi.

Yeh kab use karte hain? Jab function itna wiggly ya oscillating hai ki direct limit nikalna mushkil hai. Classic example: x2sin(1/x)x^2\sin(1/x), jahan sin(1/x)\sin(1/x) zero ke paas infinitely fast oscillate karta hai. Hum direct plug nahi kar sakte. Par hum jaante hain sin\sin hamesha 1-1 aur 11 ke beech rehta hai, toh x2x2sin(1/x)x2-x^2 \le x^2\sin(1/x) \le x^2. Dono walls 00 pe ja rahe hain, isliye answer bhi 00.

Ek important dhyaan rakhne ki baat: dono walls ka limit same hona chahiye. Agar ek 22 pe jaa raha hai aur dusra 44 pe, toh kuch conclude nahi hota — average mat lo, woh galat hai. Aur ek bada trap: jab inequality ko xx se multiply karte ho zero ke paas, xx negative bhi ho sakta hai jo inequality ko flip kar deta hai. Isliye x2x^2 ya x|x| se multiply karna safe hai kyunki woh hamesha non-negative hote hain. Yeh chhoti baatein exam mein marks bachati hain.

Go deeper — visual, from zero

Test yourself — Calculus I — Limits & Derivatives

Connections