>>227
>∀(ξn)∈CS(R),∃η∈R,0<∀ε∈R,∃n∈N,n<∀i∈N: |ξi-η|<ε
これはいわゆる対角線論法で示せるかな
η=((ξn)n)
でよさそう