Set of Integers Bounded Above by Real Number has Greatest Element

Theorem
Let $\Z$ be the set of integers.

Let $\leq$ be the usual ordering on the real numbers $\R$.

Let $\varnothing \subset S \subseteq \Z$ such that $S$ is bounded above in $(\R, \leq)$.

Then $S$ has a greatest element.

Proof
Let $S$ be bounded above by $x\in\R$.

By the Archimedean Principle, there exists an integer $n\geq x$.

Then $S$ is bounded above by $n$.

By Set of Integers Bounded Above by Integer has Greatest Element, $S$ has a greatest element.

Also see

 * Set of Integers Bounded Above has Greatest Element
 * Set of Integers Bounded Below by Real Number has Smallest Element