オイラーは４で割って１余る素数と４で割って３余る素数が同数存在することも発見しました。

1/5+1/13+1/17+・・・＋1/ｘ〜1/2・loglogx

1/3+1/7+1/11+・・・＋1/ｘ〜1/2・loglogx

すなわち、ｘ→∞のとき

(1/5+1/13+1/17+・・・＋1/ｘ)-(1/3+1/7+1/11+・・・＋1/ｘ)〜有限

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】リーマン予想と同値の問題

それでは

(1/√5+1/√13+1/√17+・・・＋1/√ｘ)-(1/√3+1/√7+1/√11+・・・＋1/√ｘ)〜有限

でしょうか？　残念ながらこれはｘ→∞のとき発散します。

しかしながら

(1/5^s+1/13^s+1/17^s+・・・＋1/ｘ^s)-(1/3^s+1/7^s+1/11^s+・・・＋1/ｘ^s)

sを1/2より少しでも大きくすると収束すると予想されています。これがほかならぬ「リーマン予想」と同値なのです。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】深リーマン予想

ｘ→∞のとき

(1/√5+1/√13+1/√17+・・・＋1/√ｘ)-(1/√3+1/√7+1/√11+・・・＋1/√ｘ)〜発散

しますが

(1/√5+1/√13+1/√17+・・・＋1/√ｘ)-(1/√3+1/√7+1/√11+・・・＋1/√ｘ)〜-1/2・loglogx

すなわち、これがチェビシェフの偏りの正体であると考えているわけです

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝