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