Hi, I'm looking for porperties (P) such that you **would assume** that there are infinitely many natural numbers with property (P) (for example because there are very large numbers with that property) but where it turns out that there are only finitely many.