微積分は不要、どうせルベーグ積分やるんだから