A similar recursion to Lemma REF  for the \(\ell _1\)  merit function was established in [1]}.
By Lemma REF , we are able to show an almost sure convergence of \(\Vert \nabla \mathcal {L}_t\Vert \) .
