cos(2x)>\frac{\sqrt{2}}{2}