Consider the function . Let be the antiderivative of with .

Then