ロッサーの定理

不完全性定理を証明するロッサーの技法については「ロッサーのからくり」をご覧ください。

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

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

P_n > n log n

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