リーマンゼータ関数
（ここで formula_42 はリーマンゼータ関数）となる。一方で、最小値は が法 に関して でない限り