The antiderivative of 1 over x (formula with example)