P
Initializing...
Lemma 1 — $OPT(I) \le 2\,SIZE(I) + 1$ · Prove2Me