.  Fact \[resolvents of subs and proximal reformulation\] guarantees that $p_\mu(\boldsymbol{f},\boldsymbol{\lambda})$ is lower semicontinuous, convex and that for every $x\in{\ensuremath{\mathcal H}}$, $$\label{