re(z) >= 2 Im(z)