4 / 11/5 2\ log(x)*t*x*(x - 2) + 1 <= log\x *x - x /
((t*x)*(x - 2)^4)*log(x) + 1 <= log(x*x^(11/5) - x^2)