Analysis with Programming

Analysis with Programming has recently been accepted as a contributing blog on Mathblogging.org , a blogosphere aiming to be the best place to discover mathematical writing on the web. And as a first post, being a member of the said site, I will do proving on the theory of probability. This problem by the way, is part of my first homework on my masteral. This is my solution and if you find errors, do let me know. Problem If $\{A_k\}$ is either expanding or contracting, we say that it is monotone, and for monotone sequence $\{A_k\}$, $\displaystyle\lim_{n\to \infty} A_n$ is defined as follows: \begin{equation}\nonumber \lim_{n\to \infty} A_n = \begin{cases} \displaystyle\bigcup_{k=1}^\infty A_k&\text{if}\;\{A_k\}\;\text{is expanding}\\[0.3cm] \displaystyle\bigcap_{k=1}^\infty A_k&\text{if}\;\{A_k\}\;\text{is contracting} \end{cases}. \end{equation} Prove the above equation. Solution Proof. If $\{A_k\}$ is either expanding or contracting, then for an infinite seque