Suppose . We need to show that . To do this, let us define the auxiliary function , . The condition on is then . Using the chain rule, we have that