結果 : antiderivative of 5x^3