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 nonnegative viscosity supersolution of a non-linear PDE.