読む編集履歴表示

ロッサーの定理

ウィキペディアから、無料の百科事典

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。

出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2013年5月）
他の記事から全くリンクされておらず、孤立しています。（2013年5月）
出典検索^?: "ロッサーの定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL

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

ロッサーの定理（英: 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.