What is the antiderivative of #f(x) = 5#?