/ / 2 \\ / 2 \ log\(x - 1)*\x + 3// log\4*x - x - 3/ log(5 - x) --------------------- < ----------------- + ---------- log(2) log(2) log(2)
log((x - 1)*(x^2 + 3))/log(2) < log(5 - x)/log(2) + log(-x^2 + 4*x - 3)/log(2)