Théorème de Rosser

Modèle:Confusion En théorie des nombres, le théorème de Rosser, démontré par J. Barkley Rosser en 1938, établit que pour n ≥ 1, le nModèle:E nombre premier pModèle:Ind vérifie :

$p_n>n\ln (n).$

Ce résultat fut ensuite amélioréModèle:,. Dusart obtint par exemple (pour tout n ≥ 2) :

$p_n>n(\ln n+\ln \ln n-1).$

Articles connexes

• Théorème des nombres premiers
• Formules pour les nombres premiers