上極限集合と下極限集合の定義 \[\limsup_{n\rightarrow\infty}A_{n}=\bigcap_{n=1}^{\infty}\bigcup_{k=n}^{\infty}A_{k}\]
