Local extreme values of functions