Infimum of Set of Oscillations on Set is Arbitrarily Close

Lemma
Let $f: D \to \R$ be a real function where $D \subseteq \R$.

Let $x$ be a point in $D$.

Let $N_x$ be the set of open subset neighborhoods of $x$.

Let $\omega_f \left({x}\right)$ be the oscillation of $f$ at $x$:


 * $\omega_f \left({x}\right) = \displaystyle \inf \left\{{\omega_f \left({I}\right): I \in N_x}\right\}$

where $\omega_f \left({I}\right)$ is the oscillation of $f$ on a real set $I$:


 * $\omega_f \left({I}\right) = \displaystyle \sup \left\{{\left\vert{f \left({y}\right) - f \left({z}\right)}\right\vert: y, z \in I \cap D}\right\}$

Let $\epsilon \in \R_{>0}$.

Let $\omega_f \left({x}\right) \in \R$.

Then an $I \in N_x$ exists such that:
 * $\omega_f \left({I}\right) - \omega_f \left({x}\right) < \epsilon$

Proof
Let $\epsilon \in \R_{>0}$.

Let $\omega_f \left({x}\right) \in \R$.

We need to prove that an $I \in N_x$ exists such that:
 * $\omega_f \left({I}\right) - \omega_f \left({x}\right) < \epsilon$

We have that $\omega_f \left({I}\right) \in \overline{\R}_{\ge 0}$ for every $I \in N_x$ by Oscillation on Set is an Extended Real Number.

Therefore:


 * $\left\{{\omega_f \left({I}\right): I \in N_x}\right\}$ is a subset of $\overline{\R}$

We have also:


 * $\displaystyle \inf \left\{{\omega_f \left({I}\right): I \in N_x}\right\} \in \R$ as $\displaystyle \inf \left\{{\omega_f \left({I}\right): I \in N_x}\right\} = \omega_f \left({x}\right)$

Therefore, an $I \in N_x$ exists such that: