>>414-415
一般に、任意の実数aが無理数であるための必要十分条件は、
任意の正の実数εに対して、不等式 0＜|a−q/p|＜ε/p
を満たす有理数 q/p が存在することである
ということは、γが有理数なることの証明で使っている