院試の勉強している人へ：
数日前に書いたオイラーの定数γの証明は間違っているかと思ったが、
Case1)を少し訂正して更に場合分けすれば矛盾が導けるようになっていて、
背理法によりγは有理数であることがいえるようになっていた
意外なことに、前回書いた証明での細かい小細工の一部は不要だった
全部書くと長いから、最後のγの有理性の証明の部分だけ書く