ルベーグ積分
極限操作が扱いやすい