Reduce[{0 <= x <= 1, x <= y <= Sqrt[x]}, x]