ロッサーの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

テンプレート:複数の問題 ロッサーの定理テンプレート:Lang-en-short)とは、ジョン・バークリー・ロッサーが1938年に証明した、素数に関する定理である。

Pnn 番目の素数とする(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.

テンプレート:Math-stub