log(7 - x) log(x - 5) ---------- >= 2*---------- log(a) log(a)
log(7 - x)/log(a) >= 2*(log(x - 5)/log(a))