級数の収束性を問題にする「深リーマン予想」のほうが証明しやすいかも