主張
確率空間\((\Omega,A,\mathbb{P})\) 事象列\(A_1,A_2,\dots,A_n\subset A\) 事象列の上極限を
\[ \mathop{\rm lim sup}_{n\to\infty}A_n=\bigcap_{n=1}^\infty\bigcup_{k=n}^\infty A_k\]
と定義する。このとき、
\[ \sum_{n=1}^\infty \mathbb{P}[A_n]\lt\infty \Rightarrow \mathbb{P}[\mathop{\rm lim sup}_{n\to\infty}A_n]=0\]
が成立。以上が補題の主張。