评:对于(3)几何上来看要满足性质$P$图像来看必须下凸。这样区间中点$x=2$处不可能为最大.(4)的形式让我想起在证明算术几何平均不等式时历史上著名的柯西反向归纳证明：
MT【82】凸函数
原文：http://www.cnblogs.com/mathstudy/p/7630865.html
