Lebesgue integration
実数列よりも一般の函数 は、上記の和のところをルベーグ積分に置き換えた