数学の本 第84巻

[397 １３２人目の素数さん 2019/07/10(水) 06:24:53.76 ID:sAgk5/89]

>>396
「実数rが有理数のときは、rに対して | r−q/p |＜1/p^2 (p,q)＝1 p≧2 を満たす既約有理数 q/p は高々有限個存在する
」
ここの証明ができていない。
高々有限個存在する、というのは無限個は存在しないということだから。