P
Initializing...
Section 4.3 — wasted work of the worst-case family is at most $\tfrac12-\tfrac1{2k}$ · Prove2Me