Cauchy sequence
从(2)的第一个不等式可知，{"s""n"}是一个柯西序列，且由于"X"是完备的，"s""n"收敛于某个。根据(2)，序列趋于"y"，因此根据"A"的连续性，有。而且：