log(x + 65/8) 1 log(2*x + 5) ------------- + - < ------------ log(64) 2 log(8)
log(x + 65/8)/log(64) + 1/2 < log(2*x + 5)/log(8)