题都成立。设formula_16。由于formula_17，我们便可以找出一个较大的formula_18，使得：利用以上的命题，我们便有对于任何formula_20，formula_21以及formula_22，都有：第一行的不等式可以从三角不等式推出；第四行的级数是一个几何级数，其中formula_17，因此它收敛。以上表明formula_24是formula_25内的一个柯西序列，所以根据完备性，它是收敛的。因此设formula_26。我们作出两个声明：第一，formula_27是formu