[Math] Squeeze Theorem with strict inequalities

analysiscalculusreal-analysis

Suppose that $I$ is an interval, and $g,f,h$ are functions defined on $I$, except possibly at $x_0$. Furthermore, $\forall \varepsilon>0,$ $\forall x\in I,$ and for some constant $L$,
$$ (L-\varepsilon)g(x) < f(x) \le Lh(x) .$$
Also,
$$\lim_{x\to x_0} g(x) = \lim_{x\to x_0} h(x) = 1.$$
Then is it true that $\forall \varepsilon>0,$
$$L-\varepsilon < \lim_{x\to x_0} f(x) \le L,$$
and since $\varepsilon$ can be taken to be arbitrarily small, the middle is forced to give
$$\lim_{x\to x_0} f(x)=L?$$
Note that this is essentially the Squeeze Theorem with a strict lower-bound.

Best Answer

Suppose that $L$ is fixed. The quantified statement $$(\forall \epsilon > 0) (\forall x \in I) \quad (L-\epsilon)g(x) < f(x) \le L h(x)$$ implies the quantified statement $$(\forall x \in I) \quad L g(x) \le f(x) \le L h(x).$$ Now apply the squeeze theorem.

Related Question