https://azpdf.net/document/yng69l2k-more-subgradient-calculus-proximal-operator.html