式で書けば、適当な実数c,d∈が存在してf(c)≥f(x)≥f(d)(∀x∈){\displaystylef(c)\geqf(x)\geqf(d)\quad(\forallx\in)}が成り立つ。
也就是说，存在内的c和d，使得：f(c)≥f(x)≥f(d){\displaystylef(c)\geqf(x)\geqf(d)}对于所有x∈{\displaystylex\in}。