| > >Σ[k=2→n]logk>Σ[k=2→n]∫[k-1→k]logxdx=∫[1→n]logxdx
log(k)>∫[k-1→k]logxdx (1≦k≦n)…(1)
a>b,c>d→a+c>b+c>b+d ∴a+c>b+d を利用して k=2〜nまで(1)の不等式の両辺を足しあわすと
Σ[k=2→n]logk>Σ[k=2→n]∫[k-1→k]logxdx
∫[a→b]f(x)dx+∫[b→c]f(x)dx={F(b)-F(a)}+{F(c)-F(b)}=F(c)-F(a)=∫[a→c]f(x)dx ∴∫[a→b]f(x)dx+∫[b→c]f(x)dx=∫[a→c]f(x)dx を利用すると、 Σ[k=2→n]∫[k-1→k]logxdx=∫[1→n]logxdx
|