先置 则有 考虑利用数学归纳法。 时,待证是显然的;设若当 时待证成立,则由 即得 这表明待证对 也成立。于是依归纳原理,待证成立。
再置 由于 于是 是凸函数,则依 不等式,成立 这事实上就是要证的。
通过适当变形并依 不等式,有
这就是要证的。