本文证明如下定理：论｛ａｎ｝，｛ｂｎ｝，为实数列，使得０＜∑ａｎ＜＋∞，０＜∑ｂｎ＜＋∞则这里，π是使不等式成立的可能最好的常数θ０∈（１．２８１６６９０９，１．２８１６６９１４）。......