上凸型的凸函数有统计平均值的函数值大于等于函数值的统计平均值