Let $S$ be a bounded non-empty subset of $\mathbb{R}$, and $\bar m = sup S$.
Prove there is a sequence ${a_{n}}$ such that $a_{n} \in S$ for all $n$,
and $a_{n} \rightarrow \bar m$