「ロッサーの定理」の版間の差分
出典: フリー百科事典『ウィキペディア(Wikipedia)』
細 (出典の明記、孤立) |
(相違点なし)
|
2013年5月17日 (金) 21:43時点における最新版
テンプレート:複数の問題 ロッサーの定理(テンプレート:Lang-en-short)とは、ジョン・バークリー・ロッサーが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.