右辺のテータ関数を無限乗積に展開し、formula_15を代入し、formula_16