The function has a continuous second derivative, and it satisfies , and .

We can conclude that