1+1/2*1/3+...+1/n - log(n) による近似って有理数近似ちゃうやん。Rothの定理って有理数近似の誤差についての定理ですがな