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 ...