x^2\le y\le1