/ 2 \ log\x + x - 20/ <= log(4*x - 2)
log(x^2 + x - 20) <= log(4*x - 2)
(4, 6]
x in Interval.Lopen(4, 6)
And(x <= 6, 4 < x)
(x <= 6)∧(4 < x)