Squeeze Theorem
| This is an AoPSWiki Word of the Week for May 4-11 |
The Squeeze Theorem (also called the Sandwich Theorem or the Squeeze Play Theorem) is a relatively simple theorem that deals with calculus, specifically limits.
Theorem
Suppose 
is between 
and 
for all 
in a neighborhood of the point 
. If 
and 
approach some common limit 
as approaches , then 
.
Proof
If is between and for all in the neighborhood of , then either 
or 
for all in this neighborhood. The two cases are the same up to renaming our functions, so assume without loss of generality that .
We must show that for all 
there is some 
for which 
implies 
.
Now since 
, there must exist 
such that
![\[|x-S|<\delta_1 \Rightarrow |g(x)-L|<\varepsilon \textrm{ and } |x-S|<\delta_2 \Rightarrow |h(x)-L|<\varepsilon.\]](http://latex.artofproblemsolving.com/9/c/0/9c0b9eee7b3368e1fef612e618fbe1fc05954332.png)
Now let 
. If then
So . Now by the definition of a limit we get as desired.
Applications and examples
