现在感觉，高中数竞时同学们总结出来的、齐次多元多项式对称和类型的不等式的“纯杂理论”，和多项式在均值点附近的凸性有关。如果是ln这样的凹函数，那估计不等号得反过来。

------

起因是上课时老师一笔带过了一个关于Bernoulli分布的MGF不等式的证明，我一开始以为方向错了，因为看起来是“纯<杂”，与之前的直观印象不符，但回去算了算才发现没问题，其原因就在于ln的凹性