https://blog.csdn.net/qq_18510183/article/details/102853712

有俩不同定义，它们是等价的。第一个是常见的Jensen不等式；第二个是Jensen不等式在λ取1/2时候的情况，并且要求函数连续。前一个推后一个好办，易证该函数连续。后一个推前一个用实数化，就是用2进小数逼近要求的λ，有点麻烦。