Prove that $d_i(x)$ is a local minimum of $(x,s)$ with respect to $s.$ Show that $D(x)$ can be defined in terms of $d_i(x).$