M(m),M_2(m),M_3(m)を任意のmに対して

一個前の記事のごとくに定義する

M_2(m)～M_3(m)+M_3([m/2])+M_3([m/4])+…

と書こう。ここでガウス記号[]を使った。

～M(m)+M([m/2])+M([m/4])+…

=O(√m×log(m))を得る

これで

M(m)=O(√m×log(m))が示されれば

導手２のゼータはGRHの証明用件を満たす、と

まあこれでいいとはちっとも思いませんが

追記：

ちょと修正

M(m)+M([m/2])+M([m/4])+…はlog_2(m)項程度

の項数で出来ています