Derivative of a constrained value function
= Derivative of a constrained value function
For
$$
\phi(b)=\inf\{f(x):g(x)=b\},
$$
suppose the optimizer and multiplier vary smoothly and use $L=f-\lambda(g-b)$. Differentiating the optimum value and using stationarity gives
$$
\phi'(b)=\lambda(b).
$$