>>401
ふつう関数の定義域に複素平面を考えるとき、そこに無限遠「点」は
含めないので、f(z)=z は全域で微分可能でいいんじゃないかな。
設問のように、無限遠点を含めたリーマン球面に定義域を拡張すると、
微分できない点を持つようになる。