文字係数を含む関数の定積分の最小値