>>319

>316 は有名なディリクレの定理(と有理数の場合の有限性を合わせたもの）
なので、本来証明は不要。
そして、色々ややこしいことが書いてあるが、次の行でディリクレの定理自身を用いている・・・。

>しかし、任意の無理数sに対して、| s−q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は可算無限個存在する。

おっちゃん、何考えてるんだろうね・・・。