Continuity Test for Real-Valued Functions/Everywhere Continuous

Theorem
Let $\struct{S, \tau}$ be a topological space.

Let $f: S \to \R$ be a real-valued function.

Then $f$ is everywhere continuous :
 * $\forall x \in S : \forall \epsilon \in \R_{>0} : \exists U \in \tau : x \in U : \forall y \in U : \map f y \in \openint {\map f x - \epsilon} {\map f x + \epsilon}$