_________________ _______ / 3 2 \/ 3 - x - \/ x - 5*x + 6*x ------------------------------------------------------------- >= 1 / 3 2 \ / 3 2 \ _______ log\x - 5*x + 6*x + 1/ log\x - 5*x + 6*x + 1/ \/ 3 - x + ------------------------*------------------------ log(4*x + 1) log(4*x + 1)
(sqrt(3 - x) - sqrt(6*x + x^3 - 5*x^2))/((log(6*x + x^3 - 5*x^2 + 1)/log(4*x + 1))*(log(6*x + x^3 - 5*x^2 + 1)/log(4*x + 1)) + sqrt(3 - x)) >= 1