>>567のつづき

怪文書生産者さんが選んだ q/p = 2/5 はDirichletを満たさない
（1/p² = 1/25 ≈ 0.04 だけど実際の誤差 ≈ 0.177 > 0.04）。
だから**「0 < |γ - 2/5| < 1/25」** が偽 → そこで導いた γ < 11/25 も根拠薄弱。
本当に Dirichlet を満たす q/p（例: 連分数の良い近似）を使えば、
上界は γ に近づいて矛盾なんか起きない。

要するに無理数仮定の下で、1つの悪い近似分数を使って粗い上界を出して
「γ < 0.44 < 0.5 < γ」みたいな偽の矛盾を作ってるだけ。
実際の良い近似を使えば上界は 0.577... に収束するので何の矛盾も生じない。
だから**「無理数仮定 → 矛盾 → 有理数」** は完全に誤り。
典型的な**「1つの具体例で全体を否定」**パターン（bad mathあるある）。