2 2 _____ ___ \/ 2*x + 6*x - 3 >= \/ x + 4
6*x + (sqrt(2*x))^2 - 3 >= (sqrt(x))^2 + 4
[1, oo)
x in Interval(1, oo)