Función contador de números primos
En matemática, la función contador de números primos es una función que cuenta el número de números primos menores o iguales a cierto número real x. Se denota mediante (no debe confundirse con el número π) y analíticamente se define como: Plantilla:Ecuación
donde # significa la cantidad de números que cumplen la condición. Algunos valores son:
- π(1) = 0 (no hay primos ≤ 1)
- π(2) = 1 (único primo ≤ 2: 2)
- π(3) = 2 (primos ≤ 3: 2 y 3)
- π(4) = 2 (id.)
- π(5) = 3 (primos ≤ 5: 2, 3 y 5)
- ...
- π(10) = 4 (primos ≤ 10: 2, 3, 5 y 7)
- ...
Teorema de los números primos
Una de las consecuencias más importantes de la teoría de números es que el valor de π(x) se aproxima al de x/ln x cuando x tiende al infinito. Es decir: Plantilla:Ecuación
Esto no significa que la diferencia entre π(x) y x/ln x se aproxime a cero, sino que su cociente se aproxima a 1. Este resultado, aventurado por primera vez por Carl Friedrich Gauss, se denomina teorema de los números primos. Tras muchos intentos fallidos de demostración, los matemáticos Jacques Hadamard y Charles de la Vallée-Poussin consiguieron, de forma independiente, una demostración definitiva.
Si se expresa la relación anterior como Plantilla:Ecuación
se puede interpretar como que la densidad media de números primos entre los números enteros se aproxima a 1/lnx a medida que x aumenta.
25 años después de que Gauss descubriera la aproximación, Legendre lo mejoró aún más: Plantilla:Ecuación