设 $f$ 是定义在 $\mathbb{R}$ 上的递增函数. 令 $G=\{x\in\mathbb{R}\mid \forall\varepsilon > 0, f(x+\varepsilon) > f(x-\varepsilon)\}$. 证明 $G$ 是 $\mathbb{R}$ 中的闭集.
设 $f$ 是定义在 $\mathbb{R}$ 上的递增函数. 令
\[
G=\{x\in\mathbb{R}\mid \forall\varepsilon > 0, f(x+\varepsilon) > f(x-\varepsilon)\}
\]
证明 $G$ 是 $\mathbb{R}$ 中的闭集.