オイラーの定数
γ：＝lim_{n→+∞}(1＋1/2＋…＋1/n−log(n))
　　＝lim_{n→+∞}(1＋1/2＋…＋1/n−log(n＋1))
が超越鄒であることはよく分かった
どうやら私の間違いだった
γの無理性は背理法で比較的簡単に示せるが、
ハーディがγの無理性を示せなかったのかが本当に不可解で仕方ない