それはリーマンのゼータ関数