怎么证明 F 是凸函数呢