Oops - xkcd got the proof wrong! Here's an improvement (mathematically, if not poetically!)

(One could argue he had it right - it depends on what he really means by "top primes" I guess.)

I still love the original comic ...