結果 : antiderivative of 5x^-1