int[k-1,k]log(x)dx<log(k)<int[k,k+1]log(x)dx.