34f74ee484392d32.tex
1: $, we have convergence of top $