Cauchy sequence
这说明级数formula_16的部分和是柯西序列。因此在完备空间formula_24中，级数formula_16收敛：