Add 'lots of discrete balls' lemma