__________ __________ 6*\/ x + 19/2 5*\/ x + 19/2 -------------- + 3 >= -------------- + 4 x x
3 + (6*sqrt(x + 19/2))/x >= 4 + (5*sqrt(x + 19/2))/x
/ ____ \ | 1 \/ 39 | And|x <= - + ------, 0 < x| \ 2 2 /
(0 < x)∧(x <= 1/2 + sqrt(39)/2)
____ 1 \/ 39 (0, - + ------] 2 2
x in Interval.Lopen(0, 1/2 + sqrt(39)/2)