sqrt3 - x - sqrtx - 1 > sqrt4 - x - sqrtx