Infimum of Bounded Below Set of Reals is in Closure

Theorem
Let $\R$ be the real numbers as a metric space under the Euclidean metric.

Let $H \subseteq \R$ be a bounded below subset of $\R$ such that $H \ne \varnothing$.

Let $l = \inf \left({H}\right)$ be the infimum of $H$.

Then:
 * $l \in \operatorname{cl}\left({H}\right)$

where $\operatorname{cl}\left({H}\right)$ denotes the closure of $H$ in $\R$.

Proof
Let $\epsilon \in \R_{>0}$ be a strictly positive real number.

Let $B_\epsilon \left({l}\right)$ be the open $\epsilon$-ball of $l$ in $\R$.

From Distance from Subset of Real Numbers:
 * $d \left({l, H}\right) = 0$

Thus by definition of Definition:Distance from Subset: $\exists x \in H: d \left({l, x}\right) = 0$ as $H \ne \varnothing$.

Thus $x \in B_\epsilon \left({l}\right)$.

As $x \in H$ and $x \in B_\epsilon \left({l}\right)$, from the definition of intersection:
 * $x \in H \cap B_\epsilon \left({l}\right)$

The result follows from Condition for Point being in Closure.