2.3 Under the assumptions of Problem 2.1, let A = lim inf An = {x : x ∈ An for all except a finite number of n’s}, A = lim sup An = {x : x ∈ An for infinitely many n}.

Then, A and A are in A.