x x 4*3 < 3 + 6
4*3^x < 3^x + 6
log(2) (-oo, ------) log(3)
x in Interval.open(-oo, log(2)/log(3))
log(2) x < ------ log(3)
x < log(2)/log(3)