>774
log(x)≦2√x　(x≧1)を微分を使って示す。
　Σ_[x=1,∞] { (logx) / (x^2) }
≦Σ_[x=1,∞] { 2√x/ (x^2) }
＝2Σ_[x=1,∞] { 1/ x^(3/2) }