 Proximal operator

For a proper lower-semicontinuous convex function $f$, the proximal operator is ${\mathrm{prox}}_f(y)=\arg {\min }_x\{f(x)+\Vert x-y{\Vert }^2/2\}$. Its optimality condition is $y-x\in \partial f(x)$.