/ 1 \ 1 log(2) - 5*x*|3 + --------------| <= --------------------- | /log(2 - 5*x)\| / / 2 \\ | |------------|| |log\6*x - 6*x + 1/| \ \ log(2) // |-------------------| \ log(6) /
-5*x*(3 + 1/(log(2 - 5*x)/log(2))) + log(2) <= 1/(log(6*x^2 - 6*x + 1)/log(6))