ここでformula_11はリーマンのゼータ関数である。