>>967
fは可測なのでfの上積分は通常のルベーグ積分に一致する
fのルベーグ積分は下から近似した単純関数の積分の極限と一致するので求めたい式は成立する ■