すなわち、"f" は定数関数であるか、あるいはその定義域の内部の任意の点formula_1に対して、その点での "f" の値よりもより大きい値を "f" が取るような、その点に任意に近い点が存在する。