integral of f(x)=(1/x) from 1 to 1000