ปล่อย:
จากนั้นสำหรับใด ๆ
เช่น
และเป็น
รับจำนวนจริงใด ๆ
สำหรับจำนวนเต็มใด ๆ
ซึ่งพิสูจน์เงื่อนไขของ Cauchy สำหรับการบรรจบกันของลำดับ
ปล่อย:
จากนั้นสำหรับใด ๆ
เช่น
และเป็น
รับจำนวนจริงใด ๆ
สำหรับจำนวนเต็มใด ๆ
ซึ่งพิสูจน์เงื่อนไขของ Cauchy สำหรับการบรรจบกันของลำดับ