证明 f 凸当且仅当图像始终在任何切线上方： f(y) >= f(x) + f'(x)(y-x) 对所有。