___ 7*\/ x + 2 >= 2*x
7*sqrt(x) + 2 >= 2*x
____ 57 7*\/ 65 [0, -- + --------] 8 8
x in Interval(0, 7*sqrt(65)/8 + 57/8)
/ ____\ | 57 7*\/ 65 | And|0 <= x, x <= -- + --------| \ 8 8 /
(0 <= x)∧(x <= 57/8 + 7*sqrt(65)/8)