使y=3-cos x/2取最小值的x的集合是( )