Remark 1

Let $f$ be a positive lower semi-continuous function, and let $J_f$ be the set of positive bounded continuous functions zero outside a $\mu$-integrable open set and bounded above by $f$. One can show that $f$ is the upper envelope of $J_f$ and that $\mu^*(f) = \sup_{g \in J_f} \mu(g)$.