证递增上界序列是柯西。