Since are integers, we must have .
From this, you can use induction to prove:
so
size of a set cannot be negative (contradiction).
Basically, you start with a nonnegative number (the number of elements in ). Then you make steps. In each step, you increase the number. (All numbers are integers.) If after steps you have a number that is at most , then you can win the Fields medal.