Risolvi |cos x| >= \sqrt 2/2 in [0, 2pi)