log(x) 2*log(x) -------- - -------- > 3 2 log(10) log (10)
log(x)/log(10)^2 - 2*log(x)/log(10) > 3
/ 2 \ | -3*log (10) | | --------------| | -1 + 2*log(10)| And\0 < x, x < e /
(0 < x)∧(x < exp(-3*log(10)^2/(-1 + 2*log(10))))
2 3*log (10) ------------- 1 - 2*log(10) (0, e )
x in Interval.open(0, exp(3*log(10)^2/(1 - 2*log(10))))