Cos x geq frac sqrt 2 2