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