>>783
>４．だから C(γ)/p_k^n < |γ - q_k/p_k| < 1/p_k²
>→ これで矛盾？（と匂わせてる）
>どこが致命的に間違っているか
>
>最大の問題は2番目のステップです。
p_k≧2 であれば C(γ)/(p_k)^n＜|γ−q_k/p_k|＜1/(p_k)²＜|γ−1/p_k| が成り立つ
これを導くには長い解析を要する