>>323
γを無理数と仮定すると矛盾が導けるからγは有理数だといっている
γの定義式は
γ:＝lim_{n→+∞}((第n項が 1＋1/2＋…＋1/n なる有理数)−(一般には( n≧2 とすれば)第n項が log(n) なる超越数))
と、一般には第n項が 1＋1/2＋…＋1/n−log(n) なる超越数の極限の形で定義されている
超越数は有理数より、有理数で精度良く近似出来る