1 + log(x) log(10*x) 14 4*2 --------------------- >= --------------------- 2 /x \ 2 /x \ 7*log (100*x)*log|--| 4*log (100*x)*log|--| \10/ \10/
14^(log(x) + 1)/((log(x/10)*(7*log(100*x)^2))) >= (4*2^log(10*x))/(((4*log(100*x)^2)*log(x/10)))
-1 ----------------- -log(14) + log(2) / log(2)\ |10 | (0, 1/100) U (1/100, |--------| ] U (10, oo) \ 2 /
x in Union(Interval.open(0, 1/100), Interval.Lopen(1/100, (10^log(2)/2)^(-1/(-log(14) + log(2)))), Interval.open(10, oo))
/ / 1 \ \ | | ----------------- | | | | -log(2) + log(14) | | | | / log(2)\ | | | | |10 | | | Or|And(0 < x, x < 1/100), And|x <= |--------| , 1/100 < x|, And(10 < x, x < oo)| \ \ \ 2 / / /
((0 < x)∧(x < 1/100))∨((10 < x)∧(x < oo))∨((1/100 < x)∧(x <= (10^log(2)/2)^(1/(-log(2) + log(14)))))