root(x) < y < 2-x