En teoría de números , el teorema de Rosser establece que el n- ésimo número primo es mayor que. Fue publicado por J. Barkley Rosser en 1939. [1]
Su declaración completa es:
Sea p n el n- ésimo número primo . Entonces para n ≥ 1
En 1999, Pierre Dusart demostró tener un límite inferior más estricto: [2]
Ver también
Referencias
- ^ Rosser, JB "El n- ésimo primo es mayor que n log n ". Actas de la London Mathematical Society 45 : 21-44, 1939. doi : 10.1112 / plms / s2-45.1.21
- ^ Dusart, Pierre (1999). "El k- ésimo primo es mayor que k (log k + log log k −1) para k ≥ 2 " . Matemáticas de la Computación . 68 (225): 411–415. doi : 10.1090 / S0025-5718-99-01037-6 . Señor 1620223 .
enlaces externos
- Artículo del teorema de Rosser sobre Wolfram Mathworld.