19/06/02 17:00:46.57 GJjr72+Q.net
>>582
それ、「1/p^2＜| γ－q/p |」で使っている。
γを有理数としたら、この不等式を満たす既約有理数q/pは可算無限個存在する。
あと、本来であれば、もっと書くことは沢山ある。
19/06/02 17:00:46.57 GJjr72+Q.net
>>582
それ、「1/p^2＜| γ－q/p |」で使っている。
γを有理数としたら、この不等式を満たす既約有理数q/pは可算無限個存在する。
あと、本来であれば、もっと書くことは沢山ある。