Number Equal to Zero iff Arbitrarily Small

Theorem
Let $a \in \R$.

Then:
 * $a = 0 \iff \forall \epsilon \in \R_{>0} : 0 \leq a < \epsilon$