Consider the set of natural numbers

This is a non-empty set of natural numbers that is bounded from below.

So by the well ordering of the postive integers this set has a least element

Obviously

Now we just need to show that

we know that

Putting the above two inequalities together we get