x^2 + z^2 < 4, z > sqrt(3)