今回はなかなか手強かったが、ゆるゆると行きたい。 命題8.7について少々コメントを。極限の存在をいきなり仮定して計算するとこうなるので定義はこうする（8.4）とよいというのは発見法的でアリなのだが、そこで証明が終わってしてしまうのでなんだか気持ち…