1: $.

2: \end{lemma}

3: 

4: We can now present the proof of the almost sure convergence of

5: $