リーマンゼータのみならず全てのゼータ関数の
リーマン予想を解決しようとしているらしい