不等式x平方-2大于等于0的解集为