/ ______________ \ / _____ 2 \ | / 2 | / x\ log\5, \/ 8*x - 2*x - 6 + 5/ \\/ x - 4*x + 3 + 1/*log|5, -| + ------------------------------ <= 0 \ 5/ /x*pi\ sin|----| \ 2 /
(sqrt(x^2 - 4*x + 3) + 1)*log(5, x/5) + log(5, -2*x^2 + sqrt(8*x) - 6 + 5)/sin((pi*x)/2) <= 0