Continuity from below of a measure (source code)

= Continuity from below of a measure

If $E_n\uparrow E$, then <countable additivity> gives $\mu(E_n)\uparrow\mu(E)$, even when the limiting measure is infinite.