複素数の数列$\lbrace z_{n}\rbrace (n=0, 1, 2, ...)$は
$$
z_{n+1}=\left\lvert\frac{z_{n}+\bar{z_{n}}}{2}\right\rvert z_{n} (n=0,1,2,...)
$$
を満たしている。このとき,$\displaystyle \lim_{n\to \infty}z_{n}$が収束するような$z_{0}$の存在範囲を複素数平面上に図示せよ。
この存在範囲を数式で表現してください。最も簡単な1つの等式あるいは不等式を用いてください。
この問題を解いた人はこんな問題も解いています