The \(\limsup\) of a sequence of sets \(E_n\) is defined as the set of points that belong to infinitely many of the sets \(E_n\). Formally, this is given by:
\[
\limsup_{n \to \infty} E_n = \bigcap_{k=1}^{\infty} \bigcup_{n=k}^{\infty} E_n.
\]
The \(\liminf\) of a
Show more…