Jan 20, 2006 21:30
Proof. Assume towards a contradiction that there is an uninteresting positive integer. Then there must be a smallest uninteresting positive integer. But being the smallest uninteresting positive integer is interesting by itself. Contradiction!