ロッサーの定理
 |
ロッサーの定理（英: Rosser's theorem）とは、ジョン・バークリー・ロッサーが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.
 | この項目は、数論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。 |