>>75
ルベーグ積分の定義に戻って単関数で近似

単関数に対してシュワルツの不等式を使う