Problem 1092 (difficulty: 5/10)
Prove that
\(\displaystyle a_n:=1+{1\over 2}+{1\over 3}+\ldots+{1\over n}-\log n\)
is convergent.