Before revision:  We show that this value function is the smallest  supersolution of a non-linear PDE.
After revision:  We show that this value function is the smallest supersolution of a nonlinear PDE.