log(x - 3) log(13 - 3*x) ---------- >= ------------- log(3) log(3)
log(x - 3)/log(3) >= log(13 - 3*x)/log(3)