证明 f 在 I 凸蕴含中点不等式: f ((x+y)/(2)) <= (f(x)+f(y))/(2) 。