[0FT]Suppose f is monotonic, show that limj∈Jf(j) exists (possibly infinite) and coincides with supJf (if it is increasing) or with infJf (if it is decreasing).
Infer that
are always well defined.