柯西序列
不等式(*)表示，如formula_48是柯西序列，那麼formula_49 是formula_1內的柯西序列。由formula_1的完備性，formula_49收斂至formula_12。因formula_36連續，得出formula_48收斂至formula_56。