>>879
右辺は甘かったか…。

>>881
> log(k) > ∫[k-1/2,k+1/2] log(x)dx

これは明らかなんですか?