>>485
一変数だけ厳密にやって、多変数の特に積分の面倒なところは
ルベーグ積分にまかせるという考えはあり。Rudinもそうしてる。