ここでformula_39であり、価値関数が微分可能な関数formula_40を用いてformula_41と表されるとすると、最大値問題の解は