/ 2\ 2 / 2\ log\(5 - x) / x *log\(x + 5) / x*log(5 - x) ------------- >= ---------------- + ------------ / ___\ log(2) / 1 \ log\\/ 2 / log|-----| | ___| \\/ 2 /
log((5 - x)^2)/log(sqrt(2)) >= (x*log(5 - x))/log(1/(sqrt(2))) + (x^2*log((x + 5)^2))/log(2)