2-\sqrt{3} cos x \geq 2-\sqrt{3}