1: $. In the following lemma, we show the convergence of the Moreau envelop $