ああ、>>472は書き方が悪くて伝わらなかったか。

>>469-470
p(5000)＝p(10000)から∀n∈N,p(n)＝p(n+1)が導けると言ったのではなく、
10000を見てp(5000)＝p(10000)と仮定するのが自然だと考えるのなら、
設定上任意的のnを見る可能性がある以上、同じ考え方で、
∀n∈N,p(n)＝p(n+1)と仮定するのが自然だということになるだろう。
君らの考えに従えば、そういうことになる。
それで、∀n∈N,p(n)＝p(n+1)と仮定すると、今度は
そのようなp()が存在しないから、破綻する。
要するに、p(5000)＝p(10000)と仮定するのは
筋が悪い。