2 log(5*x) <= 2 - log (5*x)
log(5*x) <= 2 - log(5*x)^2
-2 e E [---, -] 5 5
x in Interval(exp(-2)/5, E/5)
/ -2 \ | E e | And|x <= -, --- <= x| \ 5 5 /
(x <= E/5)∧(exp(-2)/5 <= x)