[SeanLuke]

Richard's Paradox for some reason reminded me of the proof that there is an infinite number of interesting whole numbers. The proof goes like this. Assume instead that the number is in fact finite. Consider the first number higher than any of the interesting numbers, and thus bounding them. Now that's an interesting number! QED.