解析学の問題なのですが、集合列Aiに対して(i=1,2・・)

�@limInfAi⊂limSupAi(i→∞)


�AAi⊂Ai+1ならばlimAiが存在し、
limAi(i→∞)=∪Ai(∪はi=1からi=∞までの和集合)

�BAi⊃Ai+1ならばlimAiが存在し、
limAi(i→∞)=∩Ai(∩はi=1からi=∞までの積集合)

�@�A�Bを証明してほしいのですが、よろしくお願いします。