こう定義した時
Rの完備性は
∀(ξn)∈CS(R),∃η∈R,0<∀ε∈R,∃n∈N,n<∀i∈N: |ξi-η|<ε
ということになるか