Lebesgue integration
formula_39 を示す。ルベーグ積分の定義により、