We did Tao 8.2. Main result is monotone convergence theorem: given a monotone increasing sequence of non-negative measurable functions $f_n$, we have $$ \int \lim f_n = \lim \inf f_n$, or equivalently $\int \sup f_n = \sup \int f_n$.