>>320
原理的には、オイラー・マクローリンの総和公式を使ってγを漸近展開すれば、
背理法を使わなくてもγが有理数であることは判明するようになっているだろう
ただ、これは実際に使える証明の方法ではない