Definition Suppose f:D→R. The function f has local maximum at x0 if ∃ϵ>0,(∀x∈D,∣x0−x∣<ϵ)⇒f(x)≤f(x0)