■調和数の性質(その9)

[3]H∞=1+1/2+1/3+1/4+1/5+・・・=∞

は以下のようにしても証明できる.

1+1/2+1/3+1/4+1/5+・・・+1/n>∫(1,n+1)dx/x=xlog(n+1)→∞

====================================

 相加平均≧調和平均不等式

  (a+b)/2≧1/{(1/a+1/b)/2}=2ab/(a+b)

をつかうと

  Σ1/n=Σ(1/(2n−1)+1/2n)

≧Σ4/(4n−1)>Σ4/(4n)=Σ1/n

 H∞>H∞となり,矛盾.

====================================