Lower Bound of the Upper Topological Limit of a Sequence of Subspaces

A new short proof of the following assertion is presented. Given an integer k and a sequence of closed linear subspaces of a Banach space, assume that the codimension of each subspace does not exceed k. Then the upper topological limit of this sequence contains a closed linear subspace with codimension not exceeding k.