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