sqrt[x^2+y^2]=<z=<4
-sqrt[16-x^2]=<y=<sqrt[16-x^2]
-4=<x=<4
Но лучше в ЦСК перейти...