If $\left(E_n\right)$ is a sequence of subsets of a fixed set $S$, we define
$$
\underset{n \rightarrow \infty}{\limsup } E_n=\bigcap_{n=1}^{\infty}\left(\bigcup_{k=n}^{\infty} E_k\right) \text { and } \liminf _{n \rightarrow \infty} E_n=\bigcup_{n=1}^{\infty}\left(\bigcap_{k=n}^{\infty} E_k\right) \text {. }
$$
Show that
$$
\liminf _{n \rightarrow \infty} E_n \subset \underset{n \rightarrow \infty}{\limsup } E_n \text { and that } \underset{n \rightarrow \infty}{\liminf }\left(E_n^c\right)=\left(\limsup _{n \rightarrow \infty} E_n\right)^c \text {. }
$$