>>363
私は本人じゃないので、全て推測で言います。
1＋1/2＋…＋1/n−log(n)の極限はγに収束するので、十分に大きいnを取ります。
その式をq/pで近似して、γとの差の絶対値が1/p(2+ε)に出来ると思ってるんじゃないですか？
さらにこの操作は無限にできるから、p,qの組は無限に存在するから矛盾て言いたいんですよ、きっと。