 Moreau envelope

The Moreau envelope of a proper closed convex function isIt is differentiable even when $f$ is not, with $\nabla M_{t}f(x)=[x-{\mathrm{prox}}_{tf}(x)]/t$ and $1/t$-Lipschitz gradient.