Continuity from above of a measure
= Continuity from above of a measure
If $E_n\downarrow E$ and $\mu(E_1)<\infty$, then $\mu(E_n)\downarrow\mu(E)$. Apply <continuity from below of a measure> to the increasing differences $E_1\setminus E_n$.
= Continuity from above of a measure
If $E_n\downarrow E$ and $\mu(E_1)<\infty$, then $\mu(E_n)\downarrow\mu(E)$. Apply <continuity from below of a measure> to the increasing differences $E_1\setminus E_n$.