Alternately: if there are no interesting numbers, that fact is itself interesting. But that fact can be encoded as a number (see Gödel), and the number must be interesting if the fact is interesting. Thus there is at least one interesting number.