凸函数的定义