もしリーマン予想が偽なら、スパコンで零点をガリガリ計算してれば
いずれクリティカルライン外の零点が見つかるってことだろ?
それまでひたすら計算してればよくね?