ルベーグ積分
converges pointwise to formula_7 as formula_24. Note that, when formula_7 is bounded, the convergence is uniform. This approximation of formula_7 by simple functions (which are easily integrable) allows us to define an integral formula_7 itself; see the article on Lebesgue integration for more details.