sin+cos小于等于根号2如何证明上述不等式?