(相关资料图)

我们定义了一个集合如下：

就是书中公式 ().

我们需要证明书中公式 ()

之前证明的如下不等式：

其中  和 

上面这个不等式，可以简写成如下：

那么公式 (2) 中的左边：