f1de26dde7cd5e3c.tex
1: $ Step 8 - Strong convergence $