\int_1^x \frac{dt}{t}=\ln x