>>765
ありがとう、円周｛|z|=1｝上に特異点があったらだめだよね。
ｆ(z)にL2（実二次元領域として）の条件をつければうまくいきそう。