>>355
素人の戯言。リーマンは鞍点法計算によって、ζ(s)の最初の3個の非自明零点が
σ=1/2の直線上にあることを確認。ただし、残された計算の断片によって
6個まで計算したという説もある。現在は、コンピュータを用いて
最初の12兆個まで確認されているが、これをもって「リーマン予想が証明された」
と考える数学者はいない。