∩_{k=i}^∞ A_i
⊂∩_{k=i+1}^∞ A_i
⊂∪_{k=i+1}^∞ A_i
⊂∪_{k=i}^∞ A_i

から∪∩A_i⊂∩∪A_iを証明するにはどんなふうに書けばいいでしょう？