log(x - 3) ---------- < 2 log(x - 1)
log(x - 1*3)/log(x - 1*1) < 2
And(3 < x, x < oo)
(3 < x)∧(x < oo)
(3, oo)
x in Interval.open(3, oo)