We will assume that
- \(g(x)\leq f(x) \leq h(x)\)everywhere in the domain of the functions
- \(lim_{x \rightarrow A} g(x)=lim_{x \rightarrow A} h(x)=L\)
Upon these assumptions, you want to prove that:
\[lim_{x \rightarrow A} f(x)=L\]
See the image below for a visual explanation of the variables!
Let an arbitrary epsilon such that \(\epsilon > 0\) be known. To prove the Squeeze Theorem, we must find a delta \(\delta > 0\) such that \(|f(x)-L|< \epsilon\) whenever \(0< |x-A|< \delta\) where L is the evaluation of the limit as \(x\) approaches the point \(A\).
Now \(\lim_{x \rightarrow A} g(x)=L\) by definition, so there must exist some \(\delta_g > 0\) such that:
\(|g(x)-L|< \epsilon\) for all \(0 < |x-A|< \delta_g\):
Using absolute value laws
\[-\epsilon + L < g(x) < \epsilon + L\]
for all
\[0<|x-A|<\delta_g\]
Similarly, \(lim_{x \rightarrow A} h(x)=L\) by definition, so there must exist some \(\delta_g > 0\)such that
\(|h(x)-L|< \epsilon\) for all \(0 < |x-A|< \delta_g\).
Using absolute value laws
\[- \epsilon + L < h(x)< \epsilon + L \]
for all
\[0<|x-A|<\delta_g\]
Fig. 2. Visual explanation of the geometric derivation of (1) and (2).
Since \(g(x)\leq f(x) \leq h(x)\) for all \(x\) on some open interval containing \(A\), there must exist some \(\delta_f > 0\) such that
(3) \(g(x) \leq f(x) \leq h(x)\) for all \(0< |x-A|< \delta_f\)
Where \(\delta = min (\delta_g, \delta_h, \delta_f)\), then by (1), (2), and (3)
\[-\epsilon + L < g(x) \leq f(x) \leq h(x) < L + \epsilon\] for all \(0<|x-A|<\delta\)
Thus
\(-\epsilon< f(x)-L < \epsilon \) for all/ \(0<|x-A|<\delta\)
Using absolute value laws
\( |f(x)-L| < \epsilon\) for all \(0<|x-A|<\delta\)
Then, by definition:
\[lim_{x \rightarrow A} f(x)=L\]