一道是三角函数求最值,一道是不等式证明题