[Fol99, Proposition 7.12]. If $\mu$ is a positive Radon measure on $X$ and $(f_{j})_{j}$ a decreasing net of usc functions on $X$, converging pointwise to a (usc) function $f$, then $\lim_{j}\int f_{j}\mu=\int f\mu$.