ルベグ積分といいつつ、実数の公理からリーマン積分やって
やってルベグ測度やるとかいう、ちんたら講義でやってた