>>564
L^p空間の完備性がルベーグ積分の売りなんだから、それを証明するために必要でしょ