>>753
>つまり数列の極限に選択公理を使うことになるが、

何故?