x 1 ------ <= --- 2 2*x x + 2
x/(x^2 + 2) <= 1/(2*x)
/ / ___ \ / ___ \\ Or\And\x <= -\/ 2 , -oo < x/, And\x <= \/ 2 , 0 < x//
((0 < x)∧(x <= sqrt(2)))∨((-oo < x)∧(x <= -sqrt(2)))
___ ___ (-oo, -\/ 2 ] U (0, \/ 2 ]
x in Union(Interval(-oo, -sqrt(2)), Interval.Lopen(0, sqrt(2)))