>>770
γは有理数と仮定して、グラハムの定理より
Σ_{k＝1,2,…,n}(1/(a_k)^2) とおく。
その上で矛盾を導いているという主張ね。
でも、その矛盾は計算ミスと推論ミスから生じているもので
仮定から生じているものではない。
γ=q+εとおいてみよう。ここでqは有理数であり、
同様のエジプト分数表示を持つ。
εは非負実数とする。乙さんの論法は、ε≠0として
εを十分小さい正数としてはいけない理由がない。
これが排除できないということは、その矛盾は
γが有理数であるという仮定から来ているものではない。