The case when f is decreasing can be proved similarly, or else can be deduced from......
We now exploit the relation (15) to see what else we can say about G.