Let f,g be two real-valued functions defined on a set X filtered by a filter F. Show that
limFsup(sup(f,g))=sup(limFsupf,limFsupg). Give an example of a set
X filtered by a filter
F, and an infinite family
(fi) of real-valued functions defined on
X, such that
lsup(limFsupfi)<limFsup(supfi).