3*(3*x - 7) 3*(5 - x) log(sin(a)) + ----------- >= log(sin(a)) + --------- 2 2
3*(3*x - 7)/2 + log(sin(a)) >= 3*(5 - x)/2 + log(sin(a))
And(3 <= x, x < oo)
(3 <= x)∧(x < oo)
[3, oo)
x in Interval(3, oo)