3*x 1 - --- - 1 3*x - 1 x ____ / 1 \ \/ 64 > |-----| | ___| \\/ 6 /
(sqrt(64))^(3*x - 1) > (sqrt(1/6))^(1 - 3*x/x - 1)
/ / ___\ \ | 1 2*log\6*\/ 6 / | And|x < oo, - + -------------- < x| \ 3 3*log(64) /
(x < oo)∧(1/3 + 2*log(6*sqrt(6))/(3*log(64)) < x)
/ ___\ 1 2*log\6*\/ 6 / (- + --------------, oo) 3 3*log(64)
x in Interval.open(1/3 + 2*log(6*sqrt(6))/(3*log(64)), oo)