Set of Integers Bounded Above by Integer has Greatest Element/Proof 1

Proof
$S$ is bounded above, so $\exists M \in \Z: \forall s \in S: s \le M$.

Hence $\forall s \in S: 0 \le M - s$.

Thus the set $T = \left\{{M - s: s \in S}\right\} \subseteq \N$.

The Well-Ordering Principle gives that $T$ has a smallest element, which we can call $b_T \in T$.

Hence:
 * $\left({\forall s \in S: b_T \le M - s}\right) \land \left({\exists g_S \in S: b_T = M - g_S}\right)$

So:

So $g_S$ is the greatest element of $S$.