The function is , then
Substitute in the function .
Consider .
If the function is then .
The stament is true.
is true for all values of .