总成立。
若 E∣X∣=∞ 或 E∣X∣5=∞,则 E[X6]=∞,不等式显然成立。
否则取 X 与 X 同分布且独立。由于 t↦t5 在 [0,∞) 单调递增,有
(∣X∣−∣X∣)(∣X∣5−∣X∣5)≥0.
取期望并展开:
0≤2E[∣X∣6]−2E[∣X∣]E[∣X∣5]⇒E[∣X∣6]≥E[∣X∣]E[∣X∣5].
又 E[∣X∣]≥E[X] 且 E[∣X∣5]≥E[X5],故
E[X6]≥E[X]E[X5].
英文解析
(∣X∣−∣X∣)(∣X∣5−∣X∣5)≥0.
0≤2E[∣X∣6]−2E[∣X∣]E[∣X∣5]⇒E[∣X∣6]≥E[∣X∣]E[∣X∣5].
E[X6]≥E[X]E[X5].