ｍが小さいとき，偶数次元では

　　−ζ’（−ｍ）

奇数次元では

　　定数−ζ’（−ｍ）

>は確認できておりましたが，ｍが大きくなったときもこのように表されるかについては何ともいえません．しかし，このことは正しいことがわかりました．大きな進展です．

　なお，リーマン予想の３つの同値な言い換えとして，

［１］コッホの結果（１９０１年）より，リーマン予想＝「ｎとｎ＋ｋ√ｎの間に素数はある」ですが，

　　π（ｘ）＝Ｌｉ（ｘ）＋Ｏ（ｘ^1/2ｌｏｇｘ）

　　｜π（ｘ）−Ｌｉ（ｘ）｜≦Ｃ・ｘ^1/2ｌｏｇｘ

　　Ｌｉ（ｘ）＝∫(2,x)ｄｔ／ｌｏｇｔ

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［２］ラガリアスの同値条件（２００２年）

　ｎの約数の和をσ（ｎ）で表すと，リーマン予想は

　　σ（ｎ）≦Ｈn＋ｌｏｇＨnｅｘｐＨn

がｎ≧１に対して成立すると等価です．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［３］ロバンの同値条件（１９８４年）

　オイラーの定数γを用いると，リーマン予想は

　　σ（ｎ）＜ｅｘｐγｎｌｏｇｌｏｇｎ

がｎ＞５０４０に対して成立すると等価です．

　［２］［３］は初等的な条件になっていて，さらに

　　Am=B(m+1)Hm/(m+1)-ζ’(-m)

にも調和級数のｎ次部分和

　　Ｈn ＝１／１＋１／２＋１／３＋１／４＋・・・＋１／ｎ

が関わっているのを見ると，リーマン予想との関係が想起されます．

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