It is easily verified that can be represented in terms of the definite integral
we now consider the function
We have and select such that . This is possible in view of
with this choice of , we have