 Let "X" be an infinite-dimensional, separable Banach space equipped with a locally finite, translation-invariant measure "μ".Using local finiteness, suppose that, for some "δ" > 0, the open ball "B"("δ") of radius "δ" has finite "μ"-measure.Since "X" is infinite-dimensional, there is an infinite sequence of pairwise disjoint open balls "B""n"("δ"/4), "n" ∈ N, of radius "δ"/4, with all the smaller balls "B""n"("δ"/4) contained within the larger ball "B"("δ").