Existence of least upper bound, theorem

Let $E$ be a subset of $\mathbb{R}$. If $E$ has some upper bound, then it must have [...].