___________________ / ___________ 3 / \/ 2*x + 9/4 + - <= x \/ 2
sqrt(sqrt(2*x + 9/4) + 3/2) <= x
[2, oo)
x in Interval(2, oo)
And(2 <= x, x < oo)
(2 <= x)∧(x < oo)