Infimum of Subset of Real Numbers is Arbitrarily Close

Theorem
Let $A \subseteq \R$ be a non-empty subset of the real numbers.

Let $b$ be an infimum of $A$.

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

Then:
 * $\exists x \in A: x - b < \epsilon$

Proof
Suppose $\epsilon \in \R_{>0}$ such that:
 * $\forall x \in A: x - b \ge \epsilon$

Then:
 * $b + \epsilon \le x$

and so $b + \epsilon$ would be a lower bound of $A$.

But since $b$ is an infimum of $A$ there can be no such $b + \epsilon$.

From that contradiction it follows that:
 * $\exists x \in A: x - b < \epsilon$