e36ff156a166ab35.tex
1: $, we have the required convergence of $