Squared distance to a convex set ($d_C(x)=\frac{1}{2}\mathrm{dist}(x,C{)}^2$)

For a nonempty closed convex set $C$, the squared-distance function is the Moreau envelope of its indicator functional of a constraint set. It is convex and differentiable withand this gradient is one-Lipschitz.