Find the antiderivative of that satisfies