現代数学の系譜 工学物理雑談 古典ガロア理論も読む63

＞γの1つの定義は
＞γ:＝lim_{n→+∞}(1＋1/2＋…＋1/n−log|n|)
＞で、その定義を使っているから γ∈Q で問題ない。

ｎが自然数の場合
1＋1/2＋…＋1/n−log|n|
はみな無理数だが

なぜ
lim_{n→+∞}(1＋1/2＋…＋1/n−log|n|)
は有理数だと思うのか？