P

Initializing...

Proof of Lemma 4, p. 909 — at most ⌈1 + 6r/s⌉^d interior-disjoint boxes of side ≥ s/3 meet an open L_m ball of radius r · Prove2Me