Real numbers/Bounded subset has supremum/Fact

Every nonempty subset of the real numbers, which is bounded from above,

has a

supremum

in ${}\mathbb {R}$.

Write a proof