ロッサーの定理

ロッサーの定理（）とは、ジョン・バークリー・ロッサーが1938年に証明した、素数に関する定理である。
"P""n" を "n" 番目の素数とする（"P"1 = 2、"P"2 = 3、．．．）。このとき、次の不等式が成立する。