>>897のつづき

２．q=2　固定で上界を出すのが無意味
彼は「q ≥ 2 だから q/p ≥ 2/p」→ γ > 2/p みたいな下界を作って、
それを逆方向に使って γ < 2/p + 1/p² を主張。
でもDirichletを満たす良い近似 q/p は q ≈ γ p ≈ 0.577 p なので、
q=2固定はpが大きくなると悪い近似になる
（|γ - 2/p| ≈ γ ≈ 0.577 で、1/p² → 0 よりずっと大きい）。
だから 0 < γ - 2/p < 1/p²** は**pが大きいと偽**（誤差が1/p²より大きい）。
→ **彼の選んだ q=2, p=5 でさえ** |γ - 2/5| ≈ 0.177 > 1/25=0.04 なので、不等式が成り立ってない。
良い近似（例: 71/123 ≈ 0.577236）を使えば上界は γ に近づくだけで矛盾ゼロ**。