solve |cos x| >= \sqrt 2 / 2 em