058371da25d30193.tex
1: $ implies the convergence of $