where F is an antiderivative of f

by the FTC