Define $\mathcal{F}_{n}=\sigma(X_{1},X_{2},...,X_{n})$. As any event in $\sigma(X_{{n+1}},X_{{n+2}},...)$ is independent of any event in $\sigma(X_{1},X_{2},...,X_{n})$ ¹¹this assertion should be proved actually, because independence of random variables is defined for every finite number of them and we are dealing with events involving an infinite number. By two successive applications of the Monotone Class Theorem, one can readily prove this is in fact correct, any event in the tail $\sigma$-algebra $\mathcal{F}_{{\infty}}$ is independent of any event in $\bigcup_{{n=1}}^{{\infty}}\mathcal{F}_{n}$; hence, any event in $\mathcal{F}_{{\infty}}$ is independent of any event in $\sigma(\bigcup_{{n=1}}^{{\infty}}\mathcal{F}_{n})$ ²²again by application of the Monotone Class Theorem. But $\mathcal{F}_{{\infty}}\subset\sigma(\bigcup_{{n=1}}^{{\infty}}\mathcal{F}_{n})$ ³³because $\mathcal{F}_{{\infty}}\subset\sigma(X_{1},X_{2},...)=\sigma(\bigcup_{{n=1}}^{{\infty}}\mathcal{F}_{n})$, this last equality being easily proved, so any tail event is independent of itself, i.e., $P(A)=P(A\cap A)=P(A)P(A)$ which implies $P(A)=0$ or $P(A)=1$. ∎