その証明はルベーグ定数の下限推定を使うもので、それは上で定義したようにXn（すなわちΠn上の射影作用素）の作用素ノルムである。
这个证明主要是依据勒贝格常数下限的估计，它定义了'Xn的算子范数，其中'Xn是在Πn上的投影算子。