P
Initializing...
Lemma 2 — $SIZE(I) \le LIN(I) \le OPT(I) \le LIN(I) + \frac{m(I)+1}{2}$ · Prove2Me