A⊆R ve ∣A∣=ℵ0 olmak üzere sabit olmayan öyle bir f:A→R fonksiyonu bulunuz ki f fonksiyonu tanım kümesindeki her noktada hem yerel minimuma hem de yerel maksimuma sahip olsun.
Tanım: A⊆R, f∈RA fonksiyon ve x0∈A olmak üzere
f,x0'da yerel minimuma sahip
:⇔
∃ϵ>0 ∀x(x∈(x0−ϵ,x0+ϵ)∩A→f(x0)≤f(x))
f,x0'da yerel maksimuma sahip
:⇔
∃ϵ>0 ∀x(x∈(x0−ϵ,x0+ϵ)∩A→f(x)≤f(x0))