# Squeeze Theorem

The **squeeze theorem** is a theorem used in calculus to evaluate a limit of a function.

The theorem is particularly useful to evaluate limits where other techniques might be unnecessarily complicated. For example, \(\lim_{x\rightarrow 0} x^2 \sin\left(\frac{1}{x}\right)\) is somewhat tricky as it is the product of a term that goes to 0 and one that does not converge. However, since \(-1 \le \sin\left(\frac{1}{x}\right) \le 1,\) \(-x^2 \le x^2 \sin\left(\frac{1}{x}\right) \le x^2,\) and \(-x^2\) and \(x^2\) both tend to \(0\) as \(x\rightarrow 0,\) it must be the case that \(\lim_{x\rightarrow 0} x^2 \sin\left(\frac{1}{x}\right) = 0.\)

In the graph of the example to the right \(\sin\left(\frac{1}{x}\right)\) is in red, \(x^2\) is in green and the function under study is in black.

#### Contents

## Statement of the theorem and its intuition

Intuition: Another name for the Squeeze Theorem is the Sandwich Theorem. Notice how the theorem makes a 'sandwich' of function \(f\) between functions \(g\) and \(h\) on a subset of \(\mathbb{R}\). \(g\) and \(h\) have been 'cleverly chosen' (if possible) to have the same limit as \(f\). Since \(g\) and \(h\) enclose \(f\) then the three functions must all have the same limit.

Assume that functions \(f,\ g,\ h\) defined in \(D \subseteq \mathbb{R}\) satisfy \[g(x)\le f(x)\le h(x), \space \forall x \in D.\] Then, if \(\displaystyle \lim_{x\to a} g(x) = \lim_{x \to a} h(x) = l\) then \(\displaystyle \lim_{x \to a} f(x) = l\)

## Proof of the theorem

This theorem is equivalent to the next theorem: If three sequences\((a_n),(b_n),(c_n)\) fullfils \(a_n \leq b_n \leq c_n\) \(\forall n > n_{\small{0}}\) \(n, n_{\small{0}} \in \mathbb{N}\) and \((a_n),(c_n)\) have the same limit \(l\), then \((b_n)\) has the same limit \(l\), due to \(\displaystyle \lim_{x \to a} f(x) = l\) if and only if \(\forall (x_n) \to a, \space x_n \neq a, x_n \in D\) is \(\displaystyle \lim_{n \to \infty} f(x_n) = l\).

We are going to prove the last theorem: Given an \( \epsilon > 0, \space \exists n_{\small{0}} \space / \space \forall n > n_{\small{0}}, \space n \in \mathbb{N},\space a_n, \space c_n \in (l - \epsilon, l + \epsilon) \Rightarrow b_n \in (l - \epsilon, l + \epsilon) \space \forall n > n_{\small{0}}\) which implies \(\displaystyle \lim_{n \to \infty} b_n = l\)

## Identifying limits that require Squeeze Theorem

## Determining appropriate lower and upper bounds

## Examples

\[\lim_{n\to\infty}{\dfrac{n^{k}\sin^{2}\left(n!\right)}{n+2}} =?\]

\[\text{Since}\ 0 \le \sin^2 x \le 1, \ \forall x \in \mathbb R\] \[\implies 0 \le \dfrac {n^k\sin^2 (n!)}{n+2} \le \dfrac {n^k}{n+2}\] \[\text{We note that}\ \lim_{n \to \infty} \dfrac {n^k}{n+2} = 0, \ k \in (0, 1)\] \[\implies 0 \le \displaystyle \lim_{n \to \infty} \dfrac {n^k\sin^2 (n!)}{n+2} \le 0\] \[\text{And by squeeze theorem, we get}\ \lim_{n \to \infty} \dfrac {n^k\sin^2 (n!)}{n+2} = 0\]

\[\lim_{n\to\infty}(\frac{1}{n+1}+\frac{1}{n+\sqrt2}+\cdots+\frac{1}{n+\sqrt n})=?\]

\[\text{Let}\ S_n=\frac{1}{n+1}+\frac{1}{n+\sqrt2}+\cdots+\frac{1}{n+\sqrt n},\ \text{then}\] \[\frac{n}{n+\sqrt n}<S_n<\frac{n}{n+1}\] \[\text{Note that}\ \lim_{n\to\infty}\frac{n}{n+\sqrt n}=\lim_{n\to\infty}\frac{n}{n+1}=1\] \[\Rightarrow\lim_{n\to\infty}(\frac{1}{n+1}+\frac{1}{n+\sqrt2}+\cdots+\frac{1}{n+\sqrt n})=1\]

\[\lim_{n\to\infty}(\frac{1}{n^2+n+1}+\frac{2}{n^2+n+2}+\cdots +\frac{n}{n^2+n+n})=?\]

\[\text{Let}\ S_n=\frac{1}{n^2+n+1}+\frac{2}{n^2+n+2}+\cdots +\frac{n}{n^2+n+n},\] \[\Rightarrow \frac{1}{n^2+n+n}+\frac{2}{n^2+n+n}+\cdots +\frac{n}{n^2+n+n}\] \[<\frac{1}{n^2+n+1}+\frac{2}{n^2+n+2}+\cdots +\frac{n}{n^2+n+n}\] \[<\frac{1}{n^2+n+1}+\frac{2}{n^2+n+1}+\cdots +\frac{n}{n^2+n+1}\] \[\Rightarrow \frac{\frac{1}{2}n(n+1)}{n^2+n+n}<S_n<\frac{\frac{1}{2}n(n+1)}{n^2+n+1}\] \[\text{Note that}\ \lim_{n\to\infty}\frac{\frac{1}{2}n(n+1)}{n^2+n+n}=\lim_{n\to\infty}\frac{\frac{1}{2}n(n+1)}{n^2+n+1}=\frac{1}{2}\] \[\Rightarrow\lim_{n\to\infty}(\frac{1}{n^2+n+1}+\frac{2}{n^2+n+2}+\cdots +\frac{n}{n^2+n+n})=\frac{1}{2}\]

Use the Squeeze Theorem to prove that \( \displaystyle \lim_{x \to 0} \dfrac{\sin x}{x} = 1 \).

\[\text{When } x \text{ is close to }0 \text{, we have }\]\[1<\frac{\sin x}{x}<\cos x.\]\[\text{Note that }\lim_{x\to0}\cos x=\lim_{x\to0}1=1\]\[\Rightarrow\lim_{x\to0}\frac{\sin x}{x}=1.\]