
Το
θεώρημα των πρώτων αριθμών ετέθη από τον
Gauss σαν εικασία, το 1976. Αποδείχτηκε από τους
Hadamard και
Poussin το 1896 και ξεχωριστά από τους
Selberg και
Erdös το 1949. Σύμφωνα με το θεώρημα των πρώτων αριθμών αν συμβολίσουμε με το πλήθος των πρώτων αριθμών που είναι μικρότεροι από το , τότε για αρκετά μεγάλο , ο αριθμός είναι περίπου ίσος με
, δηλαδή με το πηλίκο του αριθμού προς το φυσικό του λογάριθμο.