// // 自然数\(n\)に対して，\(\displaystyle H_n=1+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{n}\)とおく． \(\displaystyle \lim_{n→\infty} \frac{H_n}{\log n}=1\) であることを示せ． ★上手に挟みましょう★