_________ \/ 3*x + 1 <= x - 1
sqrt(3*x + 1) <= x - 1
And(5 <= x, x < oo)
(5 <= x)∧(x < oo)
[5, oo)
x in Interval(5, oo)