1: $

2: 

3: \begin{lemma}

4: \label{lemma:convergence:SRSGD-7}

5: Let the constant satisfies $