maximum-value-of-a-function