Sei  die Anzahl der Primzahlen kleiner gleich  in der arithmetischen Progression , wobei  koprim sind (). Peter Gustav Lejeune Dirichlet (siehe Dirichletscher Primzahlsatz) und Adrien-Marie Legendre vermuteten, dass asymptotisch