34859bef2bf8deb5.tex
1: $ is simple since by Monotone Convergence, we have for any measurable set $