证明期望效用小于期望值的效用