_____ ___ \/ 3*x + 1 < \/ x + 3
sqrt(3*x) + 1 < sqrt(x) + 3
/ ___\ And\0 <= x, x < 4 + 2*\/ 3 /
(0 <= x)∧(x < 4 + 2*sqrt(3))
___ [0, 4 + 2*\/ 3 )
x in Interval.Ropen(0, 2*sqrt(3) + 4)