Cauchy sequence
が任意のに対して成立する。よって任意のに対しformula_32はコーシー列であり、したがっての完備性より収束列である。