もう1つ。お前は>>347で

＞ここをスッキリ証明してくれるのがルベーグ式だろ

と書いているが、個人的には、ルベーグ式がそれほど「スッキリ」しているとは思わない。
ルベーグ式は適用できる関数クラスが広大なので、その分、証明コストも莫大であり、
一般に莫大な証明のことを「スッキリ」とは表現しない。

また、ルベーグ式は関数を横に切って積分を考えるので、ある種の定理では
証明がどうしてもイビツになってしまい、「スッキリ」からは程遠い状況になっている。

流儀によって得意・不得意が出てくるのは当然のことであって、
なんでもかんでもスッキリとは行かないのが世の常であり、
ルベーグ式でもそういう状況は回避できないということ。