3cd3f340bc76a881.tex
1: $ implies the convergence of~$