/ 79 \ log|10*x + -- - 18| \ x / log(9*x2 - 1) ------------------- + log(5*x) >= ------------- log(5) log(5)
log(5*x) + log(10*x + 79/x - 18)/log(5) >= log(9*x2 - 1)/log(5)