Solve |cos x| >= \sqrt 2/2 on [0, 2pi)