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.