n番目の素数

整数論に関する質問です。
0を自然数に含めるとして、n+1番目の素数をp(n)とした場合に（例えば、p(0) = 2, p(1) = 3）、
p(n) > n+1
をどうやって示したらいいのか困っています…。
帰納法を使えばいいのだろうと見当はつきますが、induction stepをどうすればいいのか分かりません。
よろしくお願いします。

No.3 回答者： naniwacchi 回答日時： 2011/07/18 22:34

#2です。

＞「n+1番目の素数は、n番目の奇数以上である。」
ここで考えてたことをもう少し補ってみると、少し感覚的ですが
・素数：2については、成り立っている。
・そして、3以上の素数は、すべて奇数となる。
・ということは、n+1番目の素数は、n番目の奇数以上になる。
・n番目の奇数は 2n+1と表されるので、明らかに p(n)≧ 2n+1＞ n+1

こんな感じでした。帰納法は使ってません。
一応、漏れているところはないのかなと思ったのですが。

この回答へのお礼

回答どうもです。
なるほど…。
たしかに、解説してくださった箇所だけ見ると帰納法使って無いように見えますが
しかし、「n+1番目の素数は、n番目の奇数以上になる」というのを示すのには
結局、帰納法が必要ではないでしょうか。

お礼日時：2011/07/18 22:59

No.2 回答者： naniwacchi 回答日時： 2011/07/18 21:25

こんばんわ。

「n+1番目の素数は、n番目の奇数」以上である。」
このことが言えればいいのではないでしょうか？

あえて、「n+1番目の素数をp(n)」と書いてあるところをみると、
p(0)＝ 2（唯一の偶数の素数）をうまく除外しているような気がします。

この回答へのお礼

回答どうも。
0から始めるのは自然数に関する単なる規約かと思っていましたが。

しかし、改めて考えて、要するに「より大きい」ということさえ言えばいいのかなと気付きました。
以下のような感じでしょうか。

[B.C.]
0+1 < p(0) =2

[I.S.]
k+1 < p(k) と仮定して、(k+1)+1 < p(k+1) を示したい。
k+1 < p(k) より (k+1)+1 ≦ p(k)
ところで、p(k+1)は、p(k)より大きく、かつ素数であるような最小数。
定義上、p(k) < p(k+1) なので、推移性から
(k+1)+1 < p(k+1)

帰納法により任意のnについて n+1 < p(n).

お礼日時：2011/07/18 22:09

No.1 回答者： koko_u_u 回答日時： 2011/07/18 20:38

> induction stepをどうすればいいのか分かりません。

そういう時は、具体的に n = 0, 1, 2, 3, 4, 5 くらいまでやれば、自明だとわかるよね。
わかんない時もあるけど、この問題に限って言えば前者だと思うよ。