\sin (2x) \ge� \frac{\sqrt{2}}{2}