Limit of a sequence of polynomials
Definition of closed and compact sets
Proof that the unit ball is compact if and only if the space is finite dimensional