[0, 2pi) で |cos x| >= \sqrt 2/2 を解け。