QED

John Baez heeft een leuke anekdote op The n-Category Café. Tussen de examens van zijn inleidende cursus getaltheorie die hij met veel tegenzin aan het verbeteren was, bracht deze student hem aan het lachen:

Prove that there are infinitely many prime numbers. Assume that there are a finite amount of prime numbers p₁, p₂, …, p_n for some number n. That means at prime p_n you can’t have any more prime numbers. What about p_n+1 or p_n+2 or p_{howevermanyittakestogettothenextprimenumber}? That is a contradiction. Because there is a next prime waiting. Somewhere.