__________ / 2 \/ x + 6*x < x + 3
sqrt(x^2 + 6*x) < x + 3
[0, oo)
x in Interval(0, oo)
And(0 <= x, x < oo)
(0 <= x)∧(x < oo)