There exist a rational number s.t. and define an interval s.t. is local minimum on, Hence .
May umiiral na ang isang talino numero ng st at tukuyin isang pagitan ng st ay ang mga lokal na pinakamaliit sa, Kaya .