Lebesgue integration
"Lp" が完備であることの証明は、ルベーグ積分の収束定理に基づく。