A comienzos del siglo XIX, Legendre y Gauss conjeturaron de forma independiente que, cuando "n" tiende a infinito, el número de primos menores o iguales que "n" es asintótico a formula_5, donde ln("n") es el logaritmo natural de "n".