The problem with infinitude proofs is that they are extremely complicated to devise and are sometimes nasty.
Euclid's proof about primes is elegant and simple but it probably took a lot of tought to devise it.