>>718 補足
> 4)もう一つの理解の仕方は、(1)の∀n∈N（1∈2∈3∈・・∈n）では、n→∞ と考えることでしょうかね（＾＾

・この分かり易い例として、形式的冪級数（>>666）がある
・形式的冪級数は、「多項式とは異なり、一般には、「代入」は意味を持たない」が、例外的に収束するときがある
・その分かり易い例が、下記の正則関数の収束冪級数展開である
　蛇足だが、正則関数の収束冪級数展開は、一般に無限の項を持つ
（∵ もし、有限の項しかなければ、正則関数は多項式のみになり、exp(x)や、三角関数 sin θ が存在しえないというバカな話になる）

この”n→∞”が理解できないということは、正則関数の解析性が理解できて いないってことを、意味する（＾＾；

（参考）
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
形式的冪級数（英: formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σ n=0〜∞a nX^n=a0+a1X+a2X^2+・・
の形をしたものである。ある m が存在して n ≧ m のとき an = 0 となるようなものは多項式と見なすことができる。

つづく