>>556
Logの定義を見てみるべし
複素数の対数は厄介で、zに対してlogzというのは一意に決められない。
しかし、複素平面のうち一部分を諦めれば一応定義できる。

多分>>554では正の実数部分を諦めてるんだろう。

そのとき、x+iε=re^iθ とでも置いてΦ(x)を実際に計算すれば-1になる事が分かると思う。

ポイントは、今Logは正の実数部分で定義されて無いので
φ(x) = lim[ε→0]{f(x+iε)-f(x-iε)}
= f(x)-f(x)=0という計算はしてはいけないと言う事(つまり不連続になってる)