怎么由函数上凸证明二次导数小于零恒成立