Let S be a nonempty closed, convex, symmetric subset of aBanach space and suppose ⋃n≥1nS=X. Baire'stheorem 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.
This set is closed, symmetric, and has gaps arbitrarily near zero. Given x=0, choose k so small-scale that the interval [∣x∣/(2⋅4−k),∣x∣/4−k] has length at least one; it contains an integer n, and then x/n∈S. Thus ⋃nnS=R, although S is not aneighbourhood of zero.