WTS:
Proof
WTS:
- Note that is a real number So, we want to show that for any real number, there exists a natural number greater than it
Proof by contradiction: Assume for contradiction that such that Thus is bounded above.
- Note that is non-empty
- By the Completeness Axiom, has a supremum Then there must be a supremum Consider . This is in the set as it is less than the supremum. Then, there must be a natural number greater than This means through re-arrangement. as and since , we have shown that an element in the set is bigger than the supremum which is a contradiction. Thus