_____________ / 2 \/ x - x - 12 < x
sqrt(x^2 - x - 12) < x
[4, oo)
x in Interval(4, oo)
And(4 <= x, x < oo)
(4 <= x)∧(x < oo)