Local maximum


local maximum is a maximum.