Os números primos não acabam
Os números primos são mais do que qualquer quantidade proposta de números primos.
— Euclides, Elementos, Proposição IX.20 Um número primo é um inteiro maior que 1 que só pode ser dividido por 1 e por ele mesmo: 2, 3, 5, 7, 11, 13, … Todos os outros, como $12=2\cdot2\cdot3$, são produtos de primos. Os primos são os átomos da aritmética.
Quanto mais se avança, mais raros eles ficam. Entre 1 e 100 há 25 primos; entre 1 000 001 e 1 000 100, só 6. Será que, a partir de algum ponto, eles acabam? Euclides mostrou que não, com um argumento de quatro linhas que o matemático inglês G. H. Hardy considerava um dos mais belos de toda a matemática.