大佬怎么证明F中的凸函数啊？