P
Initializing...
Lemma 2.2 — at most $\lceil 4\ln n\rceil$ sets suffice to keep $\Phi$ from increasing · Prove2Me