1: $

2: 

3: 

4: \begin{lemma}

5: \label{LemConvergenceExpectations}

6: Suppose that $