Consider the function . Let be the antiderivative of with .
Then