/ 2 \ / 2 \ log(2)*(x - 1)*\x + 3/ <= log(2)*\4*x - x - 3/ + log(2)*(5 - x)
((x - 1)*(x^2 + 3))*log(2) <= (5 - x)*log(2) + (-x^2 + 4*x - 3)*log(2)
/ 3 ___ \ And\x <= \/ 5 , -oo < x/
(-oo < x)∧(x <= 5^(1/3))
3 ___ (-oo, \/ 5 ]
x in Interval(-oo, 5^(1/3))