log(4*x - 7) log(1) ------------ < ------*(x + 2) log(1/2) 2
log(4*x - 7)/log(1/2) < (log(1)/2)*(x + 2)
2 < x
(2, oo)
x in Interval.open(2, oo)