En matemticas, un nmero primo es un nmero natural mayor que 1 que tiene

nicamente dos divisores distintos: l mismo y el 1.1 2 A diferencia de los nmeros primos,
los nmeros compuestos son los nmeros naturales que tienen algn divisor natural aparte
de s mismos y del 1 y por lo tanto, pueden factorizarse. El nmero 1, por convenio, no se
considera ni primo ni compuesto.
Los nmeros primos menores que 100 son los siguientes: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29,
31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 y 97.3
La propiedad de ser primo se denomina primalidad. A veces se habla de nmero primo
impar para referirse a cualquier nmero primo mayor que 2, ya que este es el nico nmero
primo par. A veces se denota el conjunto de todos los nmeros primos por . En la teora
algebraica de nmeros, a los nmeros primos se les conoce como nmeros racionales
primos para distinguirlos de los nmeros gaussianos primos.4
El estudio de los nmeros primos es una parte importante de la teora de nmeros, rama de
las matemticas que versa sobre las propiedades, bsicamente aritmticas,5 de los nmeros
enteros. Los nmeros primos estn presentes en algunas conjeturas centenarias tales como
la hiptesis de Riemann y la conjetura de Goldbach, recientemente resuelta por el peruano
Harald Helfgott en su forma dbil. La distribucin de los nmeros primos es un tema
recurrente de investigacin en la teora de nmeros: si se consideran nmeros individuales,
los primos parecen estar distribuidos aleatoriamente, pero la distribucin global de los
nmeros primos sigue leyes bien definidas.

ndice

1 Historia de los nmeros primos

o 1.1 El Oriente prehelnico
o 1.2 Antigua Grecia
o 1.3 Desde la poca del renacimiento
2 Aprimalidad del nmero 1
3 Propiedades de los nmeros primos
o 3.1 Teorema fundamental de la aritmtica
o 3.2 Otras propiedades
o 3.3 Nmeros primos y funciones aritmticas
4 Caractersticas del conjunto de los nmeros primos
o 4.1 Infinitud de los nmeros primos
4.1.1 Otros enunciados que implican la infinitud de los nmeros
primos
o 4.2 Frecuencia de los nmeros primos
o 4.3 Diferencia entre dos primos consecutivos
o 4.4 Conclusin
5 Encontrar nmeros primos
o 5.1 Tests de primalidad
o 5.2 Algoritmos de factorizacin
o 5.3 Frmulas que solo generasen nmeros primos

6 Clases de nmeros primos

o 6.1 Primos primoriales y primos factoriales
o 6.2 Nmeros primos de Fermat
o 6.3 Nmeros primos de Mersenne
o 6.4 Otras clases de nmeros primos
7 Conjeturas
o 7.1 Hiptesis de Riemann
o 7.2 Otras conjeturas
7.2.1 Infinitud de ciertos tipos de nmeros primos
7.2.2 Distribucin de los nmeros primos
7.2.3 Teora aditiva de nmeros
o 7.3 Los cuatro problemas de Landau
8 Generalizacin del concepto de nmero primo
o 8.1 Elementos primos en un anillo
o 8.2 Ideales primos
o 8.3 Primos en teora de la valoracin
o 8.4 Nudos primos
9 Aplicaciones en la matemtica
10 Aplicaciones en la computacin
11 Nmeros primos en el arte y la literatura
12 Vase tambin
13 Referencias
14 Enlaces externos

Historia de los nmeros primos

El Oriente prehelnico

Imagen del hueso de Ishango expuesto en el Real Instituto Belga de Ciencias Naturales.
Las muescas presentes en el hueso de Ishango, que data de hace ms de 20.000 aos
(anterior por tanto a la aparicin de la escritura) y que fue hallado por el arquelogo Jean de
Heinzelin de Braucourt,6 parecen aislar cuatro nmeros primos: 11, 13, 17 y 19. Algunos

arquelogos interpretan este hecho como la prueba del conocimiento de los nmeros
primos. Con todo, existen muy pocos hallazgos que permitan discernir los conocimientos
que tena realmente el hombre de aquella poca.7
Numerosas tablillas de arcilla seca atribuidas a las civilizaciones que se fueron sucediendo
en Mesopotamia a lo largo del II milenio a.C. muestran la resolucin de problemas
aritmticos y atestiguan los conocimientos de la poca. Los clculos requeran conocer los
inversos de los naturales, que tambin se han hallado en tablillas.8 En el sistema
sexagesimal que empleaban los babilonios para escribir los nmeros, los inversos de los
divisores de potencias de 60 (nmeros regulares) se calculan fcilmente; por ejemplo,
dividir entre 24 equivale a multiplicar por 150 (260+30) y correr la coma sexagesimal dos
lugares. El conocimiento matemtico de los babilonios necesitaba una slida comprensin
de la multiplicacin, la divisin y la factorizacin de los naturales.
En las matemticas egipcias, el clculo de fracciones requera conocimientos sobre las
operaciones, la divisin de naturales y la factorizacin. Los egipcios slo operaban con las
llamadas fracciones egipcias, suma de fracciones unitarias, es decir, aquellas cuyo
numerador es 1, como

, por lo que las fracciones de numerador distinto de 1

se escriban como suma de inversos de naturales, a ser posible sin repeticin

en

lugar de
.9 Es por ello que, en cierta manera, tenan que conocer o intuir los
10
nmeros primos.

Antigua Grecia

Un fragmento de los Elementos de Euclides encontrado en Oxirrinco.

La primera prueba indiscutible del conocimiento de los nmeros primos se remonta a
alrededor del ao 300 a. C. y se encuentra en los Elementos de Euclides (tomos VII a IX).
Euclides define los nmeros primos, demuestra que hay infinitos de ellos, define el mximo
comn divisor y el mnimo comn mltiplo y proporciona un mtodo para determinarlos
que hoy en da se conoce como el algoritmo de Euclides. Los Elementos contienen
asimismo el teorema fundamental de la aritmtica y la manera de construir un nmero
perfecto a partir de un nmero primo de Mersenne.
La criba de Eratstenes, atribuida a Eratstenes de Cirene, es un mtodo sencillo que
permite encontrar nmeros primos. Hoy en da, empero, los mayores nmeros primos que

se encuentran con la ayuda de ordenadores emplean otros algoritmos ms rpidos y

complejos.

Desde la poca del renacimiento

Pierre de Fermat.
Despus de las matemticas griegas, hubo pocos avances en el estudio de los nmeros
primos hasta el siglo XVII. En 1640 Pierre de Fermat estableci (aunque sin demostracin)
el pequeo teorema de Fermat, posteriormente demostrado por Leibniz y Euler. Es posible
que mucho antes se conociera un caso especial de dicho teorema en China.
Fermat conjetur que todos los nmeros de la forma 22n+1 eran primos (debido a lo cual se
los conoce como nmeros de Fermat) y verific esta propiedad hasta n = 4 (es decir,
216 + 1). Sin embargo, el nmero de Fermat 232 + 1 es compuesto (uno de sus factores
primos es 641), como demostr Euler. De hecho, hasta nuestros das no se conoce ningn
nmero de Fermat que sea primo aparte de los que ya conoca el propio Fermat.
El monje francs Marin Mersenne investig los nmeros primos de la forma 2p 1, con p
primo. En su honor, se los conoce como nmeros de Mersenne.
En el trabajo de Euler en teora de nmeros se encuentran muchos resultados que
conciernen a los nmeros primos. Demostr la divergencia de la serie
, y en 1747 demostr que todos los nmeros perfectos pares son de
la forma 2 (2 - 1), donde el segundo factor es un nmero primo de Mersenne. Se cree que
no existen nmeros perfectos impares, pero todava es una cuestin abierta.
p-1

A comienzos del siglo XIX, Legendre y Gauss conjeturaron de forma independiente que,
cuando n tiende a infinito, el nmero de primos menores o iguales que n es asinttico a

, donde ln(n) es el logaritmo natural de n. Las ideas que Bernhard Riemann plasm en
un trabajo de 1859 sobre la funcin zeta describieron el camino que conducira a la
demostracin del teorema de los nmeros primos. Hadamard y De la Valle-Poussin, cada
uno por separado, dieron forma a este esquema y consiguieron demostrar el teorema en
1896.
Actualmente no se comprueba la primalidad de un nmero por divisiones sucesivas, al
menos no si el nmero es relativamente grande.
Durante el siglo XIX se desarrollaron algoritmos para saber si un nmero es primo o no
factorizando completamente el nmero siguiente (p+1) o el anterior (p-1). Dentro del
primer caso se encuentra el test de Lucas-Lehmer, desarrollado a partir de 1856. Dentro del
segundo caso se encuentra el test de Ppin para los nmeros de Fermat (1877). El caso
general de test de primalidad cuando el nmero inmediatamente anterior se encuentra
completamente factorizado se denomina test de Lucas.
Posteriormente se encontraron algoritmos de primalidad con solo obtener una factorizacin
parcial de p+1 o p-1. Ejemplos de estos algoritmos son el test de Proth (desarrollado
alrededor de 1878) y el test de Pocklington (1914). En estos algoritmos se requiere que el
producto de los factores primos conocidos de p-1 sea mayor que la raz cuadrada de p. Ms
recientemente, en 1975, Brillhart, Lehmer y Selfridge desarrollaron el test BLS de
primalidad que solo requiere que dicho producto sea mayor que la raz cbica de p. El
mejor mtodo conocido de esta clase es el test de Konyagin y Pomerance del ao 1997, que
requiere que dicho producto sea mayor que p3/10.11 12
A partir de la dcada de 1970 varios investigadores descubrieron algoritmos para
determinar si cualquier nmero es primo o no con complejidad subexponencial, lo que
permite realizar tests en nmeros de miles de dgitos, aunque son mucho ms lentos que los
mtodos anteriores. Ejemplos de estos algoritmos son el test APRT-CL (desarrollado en
1979 por Adleman, Pomerance y Rumely, con mejoras introducidas por Cohen y Lenstra en
1984), donde se usan los factores de pm-1, donde el exponente m depende del tamao del
nmero cuya primalidad se desea verificar, el test de primalidad por curvas elpticas
(desarrollado en 1986 por S. Goldwasser, J. Kilian y mejorado por A. O. L. Atkin), que
entrega un certificado consistente en una serie de nmeros que permite despus confirmar
rpidamente si el nmero es primo o no. El desarrollo ms reciente es el test de primalidad
AKS (2002), que si bien su complejidad es polinmica, para los nmeros que puede
manejar la tecnologa actual es el ms lento de los tres.
Durante mucho tiempo, se pensaba que la aplicacin de los nmeros primos era muy
limitada fuera de la matemtica pura.13 14 Esto cambi en los aos 1970 con el desarrollo de
la criptografa de clave pblica, en la que los nmeros primos formaban la base de los
primeros algoritmos, tales como el algoritmo RSA.
Desde 1951, el mayor nmero primo conocido siempre ha sido descubierto con la ayuda de
ordenadores. La bsqueda de nmeros primos cada vez mayores ha suscitado inters
incluso fuera de la comunidad matemtica. En los ltimos aos han ganado popularidad

proyectos de computacin distribuida tales como el GIMPS, mientras los matemticos

siguen investigando las propiedades de los nmeros primos.

Aprimalidad del nmero 1

La cuestin acerca de si el nmero 1 debe o no considerarse primo est basada en la
convencin. Ambas posturas tienen sus ventajas y sus inconvenientes. De hecho, hasta el
siglo XIX, los matemticos en su mayora lo consideraban primo. Muchos trabajos
matemticos siguen siendo vlidos a pesar de considerar el 1 como un nmero primo,
como, por ejemplo, el de Stern y Zeisel. La lista de Derrick Norman Lehmer de nmeros
primos hasta el 10.006.721, reimpresa hasta el ao 195615 empezaba con el 1 como primer
nmero primo.16
Actualmente, la comunidad matemtica se inclina por no considerar al 1 en la lista de los
nmeros primos. Esta convencin, por ejemplo, permite una formulacin muy econmica
del teorema fundamental de la aritmtica: todo nmero natural tiene una representacin
nica como producto de factores primos, salvo el orden.17 18 Adems, los nmeros primos
tienen numerosas propiedades de las que carece el 1, tales como la relacin del nmero con
el valor correspondiente de la funcin de Euler o la funcin divisor.19 . Cabe tambin la
igualdad para todo entero positivo,
, lo que permitira decir que tiene factores.
20

Propiedades de los nmeros primos

Teorema fundamental de la aritmtica
Artculo principal: Teorema fundamental de la aritmtica

Esta ilustracin muestra que el 11 es un nmero primo, pero el 12 no lo es.

El teorema fundamental de la aritmtica establece que todo nmero natural tiene una
representacin nica como producto de factores primos, salvo el orden. Un mismo factor
primo puede aparecer varias veces. El 1 se representa entonces como un producto vaco.
Se puede considerar que los nmeros primos son los ladrillos con los que se construye
cualquier nmero natural. Por ejemplo, se puede escribir el nmero 23.244 como producto

de 22313149, y cualquier otra factorizacin del 23.244 como producto de nmeros

primos ser idntica excepto por el orden de los factores.
La importancia de este teorema es una de las razones para excluir el 1 del conjunto de los
nmeros primos. Si se admitiera el 1 como nmero primo, el enunciado del teorema
requerira aclaraciones adicionales.
A partir de esta unicidad en la factorizacin en factores primos se desarrollan otros
conceptos muy utilizados en matemticas, tales como el mnimo comn mltiplo, el
mximo comn divisor y la coprimalidad de dos o ms nmeros. As,

El mnimo comn mltiplo de dos o ms nmeros es el menor de los mltiplos

comunes de todos ellos. Para calcularlo, se descomponen los nmeros en factores
primos y se toman los factores comunes y no comunes con su mximo exponente.
Por ejemplo, el mnimo comn mltiplo de 10=25 y 12=223 es 60=2235.
El mximo comn divisor de dos o ms nmeros es el mayor de los divisores
comunes de todos ellos. Es igual al producto de los factores comunes con su
mnimo exponente. En el ejemplo anterior, el mximo comn divisor de 10 y 12 es
2.
Finalmente, dos o ms nmeros son coprimos, o primos entre s, si no tienen ningn
factor primo comn; es decir, si su mximo comn divisor es 1. Un nmero primo
es, as, coprimo con cualquier nmero natural que no sea mltiplo de l mismo.

Otras propiedades

En su escritura en el sistema de numeracin decimal, todos los nmeros primos,

salvo el 2 y el 5, tiene como el guarismo de las unidades uno de estos: 1, 3, 7 9.
En general, en cualquier sistema de numeracin, todos los nmeros primos salvo un
nmero finito acaban en una cifra que es coprima con la base.
De lo anterior se deduce que todos los nmeros primos salvo el 2 son de la forma 4n
+ 1 o bien 4n + 3. Igualmente, todos los nmeros primos salvo el 2 y el 3 son de la
forma 6n + 1 o 6n - 1.
Lema de Euclides: Si p es un nmero primo y divisor del producto de nmeros
enteros ab, entonces p es divisor de a o de b.
Pequeo teorema de Fermat: Si p es primo y a es algn nmero natural diferente de
1, entonces ap - a es divisible por p.
Si p es primo distinto de 2 y 5, siempre es un nmero peridico en su
representacin decimal, de periodo p 1 o un divisor de p 1. Esto se puede
deducir directamente a partir del pequeo teorema de Fermat. expresado en base q
(en lugar de en base 10) tiene propiedades similares, siempre que p no sea un factor
primo de q.
Teorema de Wilson: Un nmero natural n > 1 es primo si y solo si el factorial (n 1)! + 1 es divisible por n. Asimismo, un nmero natural n > 4 es compuesto si y
solo si (n - 1)! es divisible por n.
La caracterstica de todo cuerpo es, o bien cero, o bien un nmero primo.

Primer teorema de Sylow: Si G es un grupo finito, p primo y pn es la mayor

potencia de p que divide el orden de G. Entonces, existe un subgrupo de G de orden
pn.
Teorema de Cauchy: Si G es un grupo finito y p es un nmero primo que divide al
orden de G, entonces G contiene un elemento de orden p.
La constante de Copeland-Erds 0,235711131719232931374143, obtenida por
concatenacin de los nmeros primos en el sistema decimal, es un nmero
irracional.
El valor de la funcin zeta de Riemann en cada punto del plano complejo se da
como una continuacin meromorfa de una funcin definida por un producto sobre el
conjunto de todos los primos para Re(s) > 1:

En la regin donde es convergente, este producto indexado por los nmeros primos
se puede calcular, obtenindose diversos valores, algunos de ellos importantes en
teora de nmeros. Los dos primeros son:
(Correspondiente a la serie armnica, relacionado con la
infinitud de nmeros primos).

(Correspondiente al problema de Basilea).

En general
positivo par.

es un nmero racional cuando n es un nmero entero

El anillo
es un cuerpo si y solo si p es primo. Equivalentemente: p es primo
si y solo si (p) = p 1.

Si p > 1, el polinomio x p-1+x p-2+ + 1 es irreducible sobre

si y solo si p es
primo.
Un nmero natural n es primo si y solo si el n-simo polinomio de Chebyshov de la

primera especie Tn(x), dividido entre x, es

irreducible en
.
n
Adems, Tn(x) x si y solo si n es primo.
No todo nmero primo es un nmero gaussiano primo; tal el caso de 2, que como

entero gaussiano admite la descomposicin

don de la norma de
es 2, por lo tanto no es unidad en Z[i].
Los nmeros primos de la forma
son igual a la suma de dos cuadrados
perfectos; por lo que no son nmeros gaussianos primos. En tanto que los nmeros
primos de la forma
s son nmeros gaussianos primos.
Todo nmero racional primo es un nmero gaussiano entero, sin ser necesariamente
nmero gaussiano primo. 21

Nmeros primos y funciones aritmticas

Las funciones aritmticas, es decir, funciones reales o complejas, definidas sobre un
conjunto de nmeros naturales, desempean un papel crucial en la teora de nmeros. Las
ms importantes son las funciones multiplicativas, que son aquellas funciones f en las
cuales, para cada par de nmeros coprimos (a,b) se tiene
.
Algunos ejemplos de funciones multiplicativas son la funcin de Euler, que a cada n
asocia el nmero de enteros positivos menores y coprimos con n, y las funciones y , que
a cada n asocian respectivamente el nmero de divisores de n y la suma de todos ellos. El
valor de estas funciones en las potencias de nmeros primos es
,
,
.
Gracias a la propiedad que las define, las funciones aritmticas pueden calcularse
fcilmente a partir del valor que toman en las potencias de nmeros primos. De hecho, dado
un nmero natural n de factorizacin

se tiene que

con lo que se ha reconducido el problema de calcular f(n) al de calcular f sobre las

potencias de los nmeros primos que dividen n, valores que son generalmente ms fciles
de obtener mediante una frmula general. Por ejemplo, para conocer el valor de la funcin
sobre n=450=23252 basta con calcular

Caractersticas del conjunto de los nmeros primos

Infinitud de los nmeros primos
Vase tambin: Infinitud de los nmeros primos

Existen infinitos nmeros primos. Euclides realiz la primera demostracin alrededor del
ao 300 a. C. en el libro IX de su obra Elementos22 Una adaptacin comn de esta
demostracin original sigue as: Se toma un conjunto arbitrario pero finito de nmeros
primos p1, p2, p3, , pn, y se considera el producto de todos ellos ms uno,
. Este nmero es obviamente mayor que 1 y distinto
de todos los primos pi de la lista. El nmero q puede ser primo o compuesto. Si es primo
tendremos un nmero primo que no est en el conjunto original. Si, por el contrario, es
compuesto, entonces existir algn factor p que divida a q. Suponiendo que p es alguno de
los pi, se deduce entonces que p divide a la diferencia
, pero ningn nmero primo divide a 1, es decir, se ha llegado a un absurdo por suponer que
p est en el conjunto original. La consecuencia es que el conjunto que se escogi no es
exhaustivo, ya que existen nmeros primos que no pertenecen a l, y esto es independiente
del conjunto finito que se tome.
Por tanto, el conjunto de los nmeros primos es infinito.
Si se toma como conjunto el de los n primeros nmeros primos, entonces
, donde pn# es lo que se llama primorial
de pn. Un nmero primo de la forma pn# +1 se denomina nmero primo de Euclides en
honor al matemtico griego. Tambin se puede elaborar una demostracin similar a la de
Euclides tomando el producto de un nmero dado de nmeros primos menos uno, el lugar
del producto de esos nmeros primos ms uno. En ese sentido, se denomina nmero primo
primorial a un nmero primo de la forma pn# 1.
No todos los nmeros de la forma pn# +1 son primos. En este caso, como se sigue de la
demostracin anterior, todos los factores primos debern ser mayores que n. Por ejemplo:
23571113+1=30031=59509
Otros matemticos han demostrado la infinitud de los nmeros primos con diversos
mtodos procedentes de reas de las matemticas tales como al lgebra conmutativa y la
topologa.23 Algunas de estas demostraciones se basan en el uso de sucesiones infinitas con
la propiedad de que cada uno de sus trminos es coprimo con todos los dems, por lo que se
crea una biyeccin entre los trminos de la sucesin y un subconjunto (infinito) del
conjunto de los primos.
Una sucesin que cumple dicha propiedad es la sucesin de Euclides-Mullin, que deriva de
la demostracin eucldea de la infinitud de los nmeros primos, ya que cada uno de sus
trminos se define como el factor primo ms pequeo de uno ms el producto de todos los
trminos anteriores. La sucesin de Sylvester se define de forma similar, puesto que cada
uno de sus trminos es igual a uno ms el producto de todos los anteriores. Aunque los
trminos de esta ltima sucesin no son necesariamente todos primos, cada uno de ellos es
coprimo con todos los dems, por lo que se puede escoger cualquiera de sus factores
primos, por ejemplo, el menor de ellos, y el conjunto resultante ser un conjunto infinito
cuyos trminos son todos primos.
Otros enunciados que implican la infinitud de los nmeros primos

Un resultado an ms fuerte, y que implica directamente la infinitud de los nmeros

primos, fue descubierto por Euler en el siglo XVIII. Establece que la serie
es divergente. Uno de los teoremas de Mertens concreta ms,
estableciendo que

24

donde la expresin O(1) indica que ese trmino est acotado entre -C y C para n mayor que
n0, donde los valores de C y n0 no estn especificados.25
Otro resultado es el teorema de Dirichlet, que dice as:
En toda progresin aritmtica an = a + nq, donde los enteros
positivos a, q 1 son primos entre s, existen infinitos trminos que
son primos.

El postulado de Bertrand enuncia as:

Si n es un nmero natural mayor que 3, entonces siempre existe un
nmero primo p tal que n < p < 2n- 2.

Una manera ms dbil pero elegante de formularlo es que, si n es un nmero natural mayor
que 1, entonces siempre existe un nmero primo p tal que n < p < 2n. Esto supone que, en
una progresin geomtrica de primer trmino entero mayor que 3 y razn igual a 2, entre
cada trmino de la progresin y el siguiente, se tiene al menos un nmero primo.

Frecuencia de los nmeros primos

Vase tambin: Teorema de

los nmeros primos

10
102
103
104
105
106
107
108

4
25
168
1.229
9.592
78.498
664.579
5.761.455

0,3
3,3
23
143
906
6.116
44.158
332.774

2,2 2,500
5,1 4,000
10 5,952
17 8,137
38 10,425
130 12,740
339 15,047
754 17,357

109 50.847.534
1010 455.052.511
...
...

2.592.592
20.758.029
...

1.701 19,667
3.104 21,975
...
...

Comparacin entre las funciones (n) (azul), n / ln n (verde) y Li(n) (rojo); se puede ver
que la aproximacin de (n) con Li(n) es mejor que la que hay con
Una vez demostrado la infinitud de los nmeros primos, cabe preguntarse cmo se
distribuyen los primos entre los nmeros naturales, es decir, cun frecuentes son y dnde se
espera encontrar el n-simo nmero primo. Este estudio lo iniciaron Gauss y Legendre de
forma independiente a finales del siglo XVIII, para el cual introdujeron la funcin
enumerativa de los nmeros primos (n), y conjeturaron que su valor fuese
aproximadamente

.26
El empeo de demostrar esta conjetura abarc todo el siglo XIX. Los primeros resultados
fueron obtenidos entre 1848 y 1859 por Chebyshov, quien demostr utilizando mtodos
puramente aritmticos la existencia de dos constantes A y B tales que

para n suficientemente grande. Consigui demostrar que, si exista el lmite del cociente de
aquellas expresiones, este deba ser 1.
Hadamard y De la Valle-Poussin elaboraron una demostracin en 1896,
independientemente el uno del otro, usando mtodos similares, basados en el uso de la
funcin zeta de Riemann, que haba sido introducida por Bernhard Riemann en 1859. Hubo
que esperar hasta 1949 para encontrar una demostracin que usara solo mtodos
elementales (es decir, sin usar el anlisis complejo). Esta demostracin fue ideada por
Selberg y Erds. Actualmente, se conoce el teorema como teorema de los nmeros primos.
El mismo Gauss introdujo una estimacin ms precisa, utilizando la funcin logaritmo
integral:

.
En 1899 De la Valle-Poussin demostr que el error que se comete aproximando
esta forma es

de

para una constante positiva a y para cada entero m. Este resultado fue ligeramente mejorado
a lo largo de los aos. Por otra parte, en 1901 Von Koch mostr que si la hiptesis de
Riemann era cierta, se tena la siguiente estimacin, ms precisa:27