log(x + 4) log(12 - 3*x) ---------- <= ------------- log(2) log(2)
log(x + 4)/log(2) <= log(12 - 3*x)/log(2)