コーシー列
From the first inequality in (2), {"sn"} is a Cauchy sequence, and since is complete, converges to some .