Let S be a nonempty closed, convex, symmetric subset of a Banach space and suppose ⋃n≥1nS=X. Baire's theorem puts a ball B(x,r) inside some nS. Symmetry also puts B(−x,r) there, and convexity puts the midpoint of x+z and −x+z, namely z, in nS whenever ∥z∥<r. Hence B(0,r/n)⊂S.