ロッサーの定理

ロッサーの定理（）とは、ジョン・バークリー・ロッサーが1938年に証明した、素数に関する定理である。

Pn を n 番目の素数とする（P1 = 2、P2 = 3、．．．）。このとき、次の不等式が成立する。

Pn > n log n

参考文献 
 Rosser, J. B. "The n th Prime is Greater than n ln n". Proc. London Math. Soc. 45, 21-44, 1938.

素数
数論の定理
数学に関する記事