87bf1ec25ddf7620.tex
1: $,
2: %by monotone convergence, which implies $