/ 2\ / 3 \ log(5)*|2 - -| - log(5)*(x - 3) >= log(5)*|x + --| \ x/ | 2| \ x /
(2 - 2/x)*log(5) - (x - 3)*log(5) >= (x + 3/x^2)*log(5)
________________ / ____ / 127 9*\/ 43 3 / --- + -------- 5 13 \/ 8 4 x <= - - ------------------------ - --------------------- 6 ________________ 3 / ____ / 127 9*\/ 43 12*3 / --- + -------- \/ 8 4
x <= -(9*sqrt(43)/4 + 127/8)^(1/3)/3 - 13/(12*(9*sqrt(43)/4 + 127/8)^(1/3)) + 5/6
_________________ 3 / ____ 5 13 \/ 127 + 18*\/ 43 (-oo, - - ---------------------- - --------------------] 6 _________________ 6 3 / ____ 6*\/ 127 + 18*\/ 43
x in Interval(-oo, -(18*sqrt(43) + 127)^(1/3)/6 - 13/(6*(18*sqrt(43) + 127)^(1/3)) + 5/6)