, different from 0, such that, for all values of

which are numerically less[23] than

, the difference

is numerically less than

.