P
Initializing...
Lemma 8.6.2 — some endpoint lies in at least n/2d of n pairwise intersecting d-intervals · Prove2Me