| ご回答ありがとうございます!
ご指摘のように、先の3〜4行目の都合の良い操作は自分でも気持ちの悪いところでした。 以下のようにするとよいのですね。 --------
∫[2/n→n/n](1/x)dx <= 納k=1→n](1/k) <= ∫[1/n→(n-1)/n](1/x)dx ⇔ ∫[2/n→n/n](1/x)dx / ln(n) <= 納k=1→n](1/k) / ln(n) <= ∫[1/n→(n-1)/n](1/x)dx / ln(n) (∵ln(n) >= 0, n=1,2,3,…)
⇔ {ln(n)-ln(2)}/ln(n) <= (1/k)/ln(n) <= {ln(n-1)}/ln(n)
よって n→∞のとき
(最左辺)= 1 - ln(2)/ln(n) → 1. (最右辺)= ln(n-1)/ln(n) → 1.
∴lim(n→∞){納k=1→n](1/k) / ln(n)} = 1
------
区分求積の図から、1行目のような大小関係には問題がなく、 同じもの(>=0)で割ってもその関係は保たれる、ということでしょうか。
ところで、「(最右辺)= 〜 → 1」の部分は直感的にはすぐ分かるのですが、 このように直ちに導いても良いのでしょうか?
|