Observa que
\( \displaystyle{
\bigcap_{n\geqslant 1}\bigcup_{k\geqslant n}A_k \subset \bigcup_{n\geqslant 1}A_n
} \)
Como \( P \) es una medida entonces es creciente, es decir que si \( C\subset D \) son conjuntos medibles entonces \( P(C)\leqslant P(D) \).
si con eso sale en 3 pasos

pero me rechazaron la parte
\( P\left(\bigcup_{n=1}^{\infty}A_n \right)=1 \Rightarrow P \left( \limsup_{n \to \infty}A_n\right)=1 \)
yo ocupe el complento
\( P\left[ \left( \bigcup_{n=1}^{\infty} A_n \right)
^C \right] =0 \)
\( P\left( \bigcap_{n=1}^{\infty} A_n^c \right)=0 \)
\( \prod_{n=1}^{\infty}\left[ 1-P(A) \right]=0 \)
\( \prod_{n=1}^{\infty}e^{-P(A)}=0 \)
\( e^{-\sum_{n=1}^{\infty}P(A)}=0 \) justo acá me dice que no puedo asegurar que eso es igual a cero y no sé qué más hacer

espero su ayuda