>>28
納k:1,500000]log{(2k-1)/(2k)} < ∫[x:1,500000]log{(2x+1)/(2x+2)}dx
=[2/(2x+1) - 2/(2x+2)] [x:1,500000]

・・・・・うかばん・・こんな考えで出来んかな・・ orz