2 log (x) <= 2*log(x) + 8
log(x)^2 <= 2*log(x) + 8
/ 4 -2 \ And\x <= e , e <= x/
(x <= exp(4))∧(exp(-2) <= x)
-2 4 [e , e ]
x in Interval(exp(-2), exp(4))