原文:余弦函数的不等式