例えば、　√２　に収束する有理数列を作るとすれば・・・
任意の自然数　n　に対して、開区間　In＝(√2-1/n，√2+1/n)　に相当するモノを考えて
In　の中の有理数を1つ選んで　a[n]　とすれば、数列　｛a[n]｝　は　√2　に収束する。

この数列　a[n]　が選べるというのは選択公理によると考えていいのでしょうか。