section_heading: Generalizacija na metričke i topološke prostore
paragraph_text: Teorem Ako je <math>K</math> kompaktni skup i <math>f: K \mapsto \mathbb{R}</math> neprekidna funkcija, tada je <math>f</math> ograničena i postoje <math>p, q \in K</math> takvi da <math>f(p)=\sup_{x \in K}f(x)</math> i <math>f(q) = \inf_{x \in K}f(x)</math>.