, for which it has the value

, if it satisfies four conditions, namely:—

(1) Given any real number less than

, the function converges into the successors of this number as the argument approaches

from below;

(2) Given any real number greater than