利用凹凸性证明不等式成立我设f(x)=1-cosx-2x/π,得到fx是一个凹函数,但无法证明小于,可能就差一步了,请问