/ 2 \ / 2 \
log\x + 5*x/ x log\x + 4*x - 5/
------------- + log(0.0)*5*- + 1 >= -----------------
log(2) 8 log(2)
(5*log(0.0))*(x/8) + log(x^2 + 5*x)/log(2) + 1 >= log(x^2 + 4*x - 5)/log(2)