The logarithm in the family of antiderivatives of x^k