x^2 <= y and y <= sqrt(3)x