>>347
1＋1/2＋…＋1/n−log(n)は超越数だと認識しているみたいなので、これに近い有理数を考えてγから引き算して、その絶対値を1/p＾(2+ε）で押さえようとしているのかと思います。
ただ、具体的にどうやってp,qを取ろうとしているのかが謎です。