ロッサーの定理

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

P_n を n 番目の素数とする（P₁ = 2、P₂ = 3、．．．）。このとき、次の不等式が成立する。

P_n > n log n