Comparing natural numbers

Comparing natural numbers