Math for CS: Well Ordering Principle

The Well Ordering Principle - Every nonempty set of nonnegative integers has a smallest element

Proving by using the well ordering principle is another proof method. It can be used to prove that sqrt(2) is irrational.

We are given the template for this proof method, along with some examples.