■調和数の性質(その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∞となり,矛盾.
====================================