y = 4 - x^2, y>0