x ________ - / x 2 \/ 2 - 3 >= 3 - 2
sqrt(2^x - 3) >= 3 - 2^(x/2)
And(2 <= x, x < oo)
(2 <= x)∧(x < oo)
[2, oo)
x in Interval(2, oo)