Unit 1 · Topic 1.8 Beta

The Squeeze Theorem

If g(x) ≤ f(x) ≤ h(x) near c and g and h have the same limit L at c , then f has limit L too.

Practice 1: Implementing Mathematical ProcessesPractice 3: Justification

Question set for this topic

Part 1 · Hook

Why this matters

Some functions are too wild to handle directly. Near 0, xsin⁡(1x)x \sin\left(\frac{1}{x}\right) wiggles infinitely often, so no table or factoring will tame it. But you can trap it between two simple functions that close in on the same value. When the trap closes, the wild function has nowhere else to go.

Part 2 · Before you start

What this builds on

Part 3 · Prerequisite check

Quick check before you start

1. For every real θ\theta, the values of sin⁡θ\sin\theta lie

  1. between −1-1 and 11
  2. between 00 and 11
  3. between −π-\pi and π\pi
  4. anywhere on the number line
Show the answer

On the unit circle, sin⁡θ\sin\theta is a yy-coordinate, so −1≤sin⁡θ≤1-1 \le \sin\theta \le 1.

  • Correct: between −1-1 and 11:
  • between 00 and 11:
  • between −π-\pi and π\pi:
  • anywhere on the number line:

2. If limx→cf(x)=3\lim_{x \to c} f(x) = 3, then limx→c(2f(x)−1)\lim_{x \to c} (2f(x) - 1) is

  1. 55
  2. 66
  3. 33
  4. not known
Show the answer

By the limit laws: 2(3) − 1 = 5.

  • Correct: 55:
  • 66:
  • 33:
  • not known:

3. Which is limx→1x2−1x−1\lim_{x \to 1} \frac{x^2 - 1}{x - 1}?

  1. 22
  2. 00
  3. 11
  4. It does not exist
Show the answer

Cancel x−1x - 1: the expression is x+1x + 1 for x≠1x \ne 1, which approaches 2.

  • Correct: 22:
  • 00:
  • 11:
  • It does not exist:

Part 4 · See it

See it first

The graph of f(x) = x sin(1/x) for x between −0.4 and 0.4, x not 0. It wiggles faster and faster near 0 but stays between the lines y = |x| and y = −|x|. Both bounds reach 0 at x = 0, so f is squeezed to 0: its limit at 0 is 0. An open circle at the origin marks that f(0) is not defined.
xsin⁡(1x)x \sin\left(\frac{1}{x}\right) is trapped between −|x|-|x| and |x||x|, which both approach 0. LevlPrep original diagram.

Part 5 · Step by step

How it works, step by step

  1. A function ff is hard to evaluate near cc, but g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) thereevery value of ff near cc lies between the values of gg and hh
  2. gg and hh have the same limit LL at ccthe gap between them shrinks to nothing near cc
  3. ff is trapped in a gap that closes at LLlimx→cf(x)=L\lim_{x \to c} f(x) = L: the squeeze theorem
  4. Near 0, cos⁡x≤sin⁡xx≤1\cos x \le \frac{\sin x}{x} \le 1 and both bounds approach 1limx→0sin⁡xx\lim_{x \to 0} \frac{\sin x}{x}=1= 1 (with xx in radians)

Part 6 · Key ideas

Key ideas

  • Squeeze theorem: a function trapped between two functions with the same limit LL at cc also has limit LL at cc.
  • Both bounds must approach the same value. Bounds with different limits give no conclusion.
  • Build bounds from −1≤sin⁡θ≤1-1 \le \sin\theta \le 1 and −1≤cos⁡θ≤1-1 \le \cos\theta \le 1, multiplied by a factor that is not negative (use |x||x|, not xx).
  • The special limit limx→0sin⁡xx\lim_{x \to 0} \frac{\sin x}{x}=1= 1 comes from the squeeze. Match the inside: sin⁡(kx)x\frac{\sin(kx)}{x}=k⋅sin⁡(kx)kx→k= k \cdot \frac{\sin(kx)}{kx} \to k.
  • A justification states the inequality, shows the two bounds have the same limit, and names the squeeze theorem.

Part 7 · Misconception

A common mistake

The wrong idea: −1≤sin⁡(1x)≤1-1 \le \sin\left(\frac{1}{x}\right) \le 1, so the squeeze theorem shows sin⁡(1x)\sin\left(\frac{1}{x}\right) has a limit at 0.

What actually happens: The bounds −1-1 and 11 have different limits, so the squeeze theorem says nothing. In fact sin⁡(1x)\sin\left(\frac{1}{x}\right) oscillates and has no limit at 0. Multiply by x2x^2 and the bounds ±x2\pm x^2 both approach 0; then the squeeze works.

Part 8 · Check yourself

Check yourself

Exam-style questions. Anything you miss goes into your review queue.

Graph

Three functions near x=2x = 2

012340123456xyhgf

1. The graph shows g(x)=3−(x−2)2g(x) = 3 - (x - 2)^2 and h(x)=3+(x−2)2h(x) = 3 + (x - 2)^2, with g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) for every x≠2x \ne 2. Find limx→2f(x)\lim_{x \to 2} f(x).

No calculator. Type the exact value (a fraction, π, e or a root is fine).

Show the answer

limx→2g(x)=3\lim_{x \to 2} g(x) = 3 and limx→2h(x)=3\lim_{x \to 2} h(x) = 3. Since g≤f≤hg \le f \le h near 2, the squeeze theorem gives limx→2f(x)=3\lim_{x \to 2} f(x) = 3.

  • Answer: 3

2. Which pair of facts is exactly what the squeeze theorem needs to conclude limx→2f(x)=3\lim_{x \to 2} f(x) = 3?

  1. g≤f≤hg \le f \le h near 2, and both gg and hh have limit 3 there
  2. f(2)=3f(2) = 3, and f(2)f(2) lies between g(2)g(2) and h(2)h(2) at x=2x = 2
  3. g(2)=h(2)g(2) = h(2), and ff wiggles faster and faster as xx nears 2
  4. g(x)≤h(x)g(x) \le h(x) near 2, and hh has limit 3 as xx approaches 2
Show the answer

The theorem has two parts: the inequality g≤f≤hg \le f \le h for xx near 2 (not at 2), and equal limits LL for the two bounds. Then ff has limit LL too.

  • Correct: g≤f≤hg \le f \le h near 2, and both gg and hh have limit 3 there: These are the two conditions: ff is trapped, and the trap closes at the single value 3.
  • f(2)=3f(2) = 3, and f(2)f(2) lies between g(2)g(2) and h(2)h(2) at x=2x = 2: f(2)f(2) does not exist here, and the theorem never uses the value at the point.
  • g(2)=h(2)g(2) = h(2), and ff wiggles faster and faster as xx nears 2: Wiggling is not a condition, and equal values at 2 are not the same as equal limits.
  • g(x)≤h(x)g(x) \le h(x) near 2, and hh has limit 3 as xx approaches 2: ff must be trapped between the bounds, and both bounds need limit 3; one bound is not enough.

3. Suppose the upper bound were k(x)=4+(x−2)2k(x) = 4 + (x - 2)^2 instead of hh, still with g(x)≤f(x)≤k(x)g(x) \le f(x) \le k(x) near 2. What does the squeeze theorem say about limx→2f(x)\lim_{x \to 2} f(x)?

  1. The limit is 3.5, halfway between the limits of the bounds
  2. Nothing: the bounds approach different values, 3 and 4
  3. The limit is 4, the larger of the two bounds
  4. The limit does not exist, since the bounds differ
Show the answer

The squeeze theorem applies only when both bounds have the same limit. With limits 3 and 4 it gives no conclusion; ff might have a limit, or might not.

  • The limit is 3.5, halfway between the limits of the bounds: Nothing in the theorem averages the bounds.
  • Correct: Nothing: the bounds approach different values, 3 and 4: Unequal bound limits leave a gap from 3 to 4, so ff is not pinned to one value.
  • The limit is 4, the larger of the two bounds: The upper bound does not decide the limit by itself.
  • The limit does not exist, since the bounds differ: Unequal bounds do not prove the limit fails to exist; the theorem simply gives no answer.

4. Find limx→0sin⁡(5x)x\lim_{x \to 0} \frac{\sin(5x)}{x}.

No calculator. Type the exact value (a fraction, π, e or a root is fine).

Show the answer

sin⁡(5x)x\frac{\sin(5x)}{x}=5⋅sin⁡(5x)5x= 5 \cdot \frac{\sin(5x)}{5x}. As x→0x \to 0, 5x→05x \to 0, so sin⁡(5x)5x→1\frac{\sin(5x)}{5x} \to 1. The limit is 5.

  • Answer: 5

5. To squeeze xsin⁡(1x)x \sin\left(\frac{1}{x}\right) as x→0x \to 0, which pair of bounds is valid on both sides of 0?

  1. −x-x and xx
  2. −|x|-|x| and |x||x|
  3. −1-1 and 11
  4. 00 and x2+|x|x^2 + |x|
Show the answer

|xsin⁡(1x)|≤|x|\left|x \sin\left(\frac{1}{x}\right)\right| \le |x|, so −|x|≤xsin⁡(1x)≤|x|-|x| \le x \sin\left(\frac{1}{x}\right) \le |x| for all x≠0x \ne 0. Both bounds approach 0, so the limit is 0.

  • −x-x and xx: For x<0x < 0, multiplying by xx flips the inequalities, so −x≤xsin⁡(1x)≤x-x \le x\sin\left(\frac{1}{x}\right) \le x fails there.
  • Correct: −|x|-|x| and |x||x|: Multiplying −1≤sin⁡(1x)≤1-1 \le \sin\left(\frac{1}{x}\right) \le 1 by |x|≥0|x| \ge 0 keeps the direction, and both bounds go to 0.
  • −1-1 and 11: These are true bounds, but their limits are −1-1 and 11, which are not equal.
  • 00 and x2+|x|x^2 + |x|: The function is negative for many xx, so 0 is not a lower bound.

6. A student writes: "−1≤sin⁡(1x)≤1-1 \le \sin\left(\frac{1}{x}\right) \le 1, so by the squeeze theorem limx→0sin⁡(1x)\lim_{x \to 0} \sin\left(\frac{1}{x}\right) exists and is between −1-1 and 11." What is wrong?

  1. Nothing; the limit exists and is 00, the midpoint of the two bounds −1-1 and 11
  2. The inequality is false near 0, since sin⁡(1x)\sin\left(\frac{1}{x}\right) can be larger than 1 there
  3. The theorem requires the function to be defined at x=0x = 0, and 1x\frac{1}{x} is not defined at 0
  4. The bounds −1-1 and 11 have different limits, so the theorem says nothing; this limit does not exist
Show the answer

The squeeze theorem needs the two bounds to share a limit. Here they are the constants −1-1 and 11. In fact sin⁡(1x)\sin\left(\frac{1}{x}\right) swings between −1-1 and 11 infinitely often near 0, so the limit does not exist.

  • Nothing; the limit exists and is 00, the midpoint of the two bounds −1-1 and 11: Being bounded does not make a limit exist, and the theorem never averages bounds.
  • The inequality is false near 0, since sin⁡(1x)\sin\left(\frac{1}{x}\right) can be larger than 1 there: Sine never exceeds 1, so the inequality is true; it just does not help.
  • The theorem requires the function to be defined at x=0x = 0, and 1x\frac{1}{x} is not defined at 0: The theorem never needs the value at the point.
  • Correct: The bounds −1-1 and 11 have different limits, so the theorem says nothing; this limit does not exist: Unequal bounds give no conclusion, and the oscillation shows the limit does not exist.

Part 9 · Summary

Summary

If g(x)≤f(x)≤h(x)g(x) \le f(x) \le h(x) near cc and gg and hh have the same limit LL at cc, then ff has limit LL too. Bounds usually come from −1≤sin⁡≤1-1 \le \sin \le 1. The squeeze gives limx→0sin⁡xx\lim_{x \to 0} \frac{\sin x}{x}=1= 1 in radians, and sin⁡(kx)x→k\frac{\sin(kx)}{x} \to k.

Part 10 · Up next

What comes next

Part 11 · Connections

Connections