In This Article
What Is the Squeeze Theorem?
Squeeze Theorem Proof
Step-By-Step Guide to the Squeeze Theorem
Squeeze Theorem Examples
5 Tips When Using the Squeeze Theorem
What Is the Squeeze Theorem?
The Squeeze Theorem is a method for evaluating the limit of a function. Also known as the Sandwich Theorem, the Squeeze Theorem traps one tricky function whose limit is hard to evaluate, between two different functions whose limits are easier to evaluate.
To introduce the logic behind this theorem, let’s recall a familiar algebraic property. This rule is similar in logic to the transitive property of equality in algebra. For example, if a≤b≤c and a=c, then b also equals c.
In the same vein of thought, if g(x)≤f(x)≤h(x) for all x on some open interval containing c, and limx→cg(x)=limx→ch(x)=L, then limx→cf(x)=L. This is the Squeeze Theorem definition.
The following figure provides a graphical proof of the Squeeze Theorem. Do you see how “squeezing” or “sandwiching” a hard function between two easier functions allows us to find its limit?
Squeeze Theorem Proof
If graphical proofs aren’t your jam, we can also prove the Squeeze Theorem using the epsilon-delta (ϵ−δ) definition of limits. The ϵ−δ definition goes like this:
Let the function f(x) be defined on an open interval, and let c be on this interval. Then \lim_{x\to c}f(x) = L if for all \epsilon > 0, there exists some \delta > 0 such that when 0 < |x - c | < \delta, then this immediately implies that |f(x) - L| < \epsilon.
To begin our proof, let’s start with our assumptions: g(x)≤f(x)≤h(x) for all x on some open interval containing c, and limx→cg(x)=limx→ch(x)=L. We want to prove that limx→cf(x)=L using the above definition.
Using this definition, our second assumption tells us that for all \epsilon > 0, there exists \delta_1 > 0 such that when 0 < |x - c | < \delta_1, then |g(x) - L| < \epsilon. Similarly, for all \epsilon > 0, there exists \delta_2 > 0 such that when 0 < |x - c | < \delta_2, then |h(x) - L| < \epsilon.
We’ll let \delta = \min \{\delta_1, \delta_2\}. This implies that when 0 < |x - c | < \delta, then |g(x) - L| < \epsilon and |h(x) - L| < \epsilon. We can rewrite this to say -\epsilon < g(x) - L< \epsilon and -\epsilon < h(x) - L < \epsilon. Adding L to each side, if 0 < |x - c | < \delta, then L -\epsilon < g(x) < L + \epsilon and L -\epsilon < h(x) < L + \epsilon.
Applying these new inequalities to our first assumption, we get L - \epsilon < g(x) \leq f(x) \leq h(x) < L + \epsilon, which implies that L - \epsilon < f(x) < L + \epsilon. Subtracting L from each side, we get - \epsilon < f(x) - L < \epsilon. We can rewrite this as |f(x) - L| < \epsilon.
This concludes our proof. Thus, limx→cf(x)=L.
Step-By-Step Guide to the Squeeze Theorem
How do you use the squeeze theorem? Well, if f(x) is sandwiched between two functions g(x) and h(x) near c, and if g(x) and h(x) have the same limit L at c, then f(x) is trapped between them and must also have the same limit L at c!
Here are 4 simple steps to using the Squeeze Theorem:
Use equalities to find two functions g(x) and h(x).
Show that f(x) lies between g(x) and h(x) near c.
Show that limx→cg(x)=L.
Show that limx→ch(x)=L.
Squeeze Theorem Examples
We’ll walk through a few examples of the squeeze theorem together.
1. Use the Squeeze Theorem To Evaluate
Use the Squeeze Theorem to evaluate limx→0f(x) where f(x)=x2cos(x21).
How can we sandwich f(x) between two other functions? Let’s use equalities. For now, we’ll just focus on cos(x21). The fraction might look daunting, but since this is an oscillating cosine function, we know the following statement is true:
−1≤cos(x21)≤1 Multiply all sides by x2 to get our original function in the middle.
This gives us:
−x2≤x2cos(x21)≤x2 This equality gives us two functions we can use, g(x)=−x2 and h(x)=x2. Our next step is to take the limit of g(x) and h(x) as x approaches 0, and see if their limits match:
limx→0(−x2)=0 andlimx→0(x2)=0 Their limits match! We’ve now shown f(x) is squeezed between g(x) and h(x), and limx→0g(x)=limx→0h(x)=0.
By the Squeeze Theorem, we can conclude:
0≤limx→0x2cos(x21)≤0 Our answer is limx→0f(x)=0.
2. Use the Squeeze Theorem To Compute
Use the Squeeze Theorem to compute limx→0f(x) where f(x)=xsin(x1).
We want to pinch f(x) between two functions whose limits are more easily evaluated at x = 0. Let’s break this down. We’ll ignore x for now, and just focus on \sin{(\frac{1}{x})}.
Since this is a sine function, we know that:
−1≤sin(x1)≤1 We have to be careful here. We can’t multiply both sides by x, since x can be negative and our inequality will be thrown off.
We’ll rewrite our expression using absolute value instead:
0≤∣sin(x1)∣≤1 Now, we’ll multiply both sides of our equation by ∣x∣:
0≤∣x∣⋅∣sin(x1)∣≤∣x∣ 0≤∣xsin(x1)∣≤∣x∣ We now have two functions we can use, g(x)=0 and h(x)=∣x∣. Let’s take the limit of g(x) and h(x) as x approaches 0, and see if these limits match:
limx→00=0 andlimx→0∣x∣=0 The limits match! We’ve shown that g(x) < |f(x)| < h(x) and \lim_{x\to 0 }g(x) = \lim_{x\to 0 }h(x) = 0.
By the Squeeze Theorem, we can conclude:
0≤limx→0∣xsin(x1)∣≤0 Therefore, limx→0∣xsin(x1)∣=0. Since this answer is 0, this immediately implies that limx→0xsin(x1)=0.
5 Tips When Using the Squeeze Theorem
Here are a few additional tips to consider when using the Squeeze Theorem.
What functions is this pinching theorem most used for? This method is especially useful for oscillating sine and cosine functions, as well as other trigonometric functions.
We use the Squeeze Theorem when other methods don’t work, such as factoring, trigonometry substitutions, rationalization, or other algebraic manipulations.
It is a good idea to be familiar with radians and the unit circle. Many Squeeze Theorem problems will use trig functions.
When in doubt, graph it! Is f(x) sandwiched between g(x) and h(x) on the necessary interval? Do their limits look the same at the right particular point? Graphing can help validate your answer.
Remember, the limits of your lower and upper bounds must match. Otherwise the theorem can’t be used.
Explore Outlier's Award-Winning For-Credit Courses
Outlier (from the co-founder of MasterClass) has brought together some of the world's best instructors, game designers, and filmmakers to create the future of online college.
Check out these related courses: