
Interesting Numbers
Theorem: All positive integers are interesting.
Proof: Let X = {set of uninteresting positive integers}. Then by the wellordering principle, set X has a least element, call it y.
But, since y is “the least of the uninteresting positive integers,” that makes it quite interesting. Remove y from set X.
Now, this process and argument can be repeated until set X is empty, which means all of the positive integers must be interesting.

