___ /x\ sin(x) > \/ 5 *sin|-| \2/
sin(x) > sqrt(5)*sin(x/2)
And(2*pi < x, x < 4*pi)
(2*pi < x)∧(x < 4*pi)
(2*pi, 4*pi)
x in Interval.open(2*pi, 4*pi)