◆愛知県 Y.M.Ojisan さんからの解答。
予想は正しい。
∵ {素数の集合}⊂{奇数と2の集合}です。
n番目素数をP(n)とします。
m Σ k=1 |
(2k−1) | はm2ですから |
S(n)<( | P(n)+1 2 | ) | 2 | です。 |
従ってS(n)とS(n)+(P(n)+2)の間には平方数が少なくとも1個あります。
下図参照。
一方、S(n)+(P(n)+2)≦S(n)+P(n+1)=S(n+1)です。
P(n)≦9では個別に成立性が確認できます。
よって予測は正しいです。