f(z) = a_1*z + a_2*z^2 + …
g(w) = b_0 + b_1*w + b_2*w^2 + …

とする。

|z| が十分小さいときの f(z) は、 g(w) の収束円の内部に入ので、合成関数 g(f(z))
を考えることができます。

g(f(z)) は z = 0 を中心とするべき級数 c_n*z^n であらわされます。

このとき、 g(f(z)) の定義域と c_n*z^n の収束域は一致するのでしょうか？