Proof of Lemma 3, p. 14 — with K₂ = M³(M + 1), H₂ = M(M + 1) as in Lemma 2, every plan with q₂ ≠ M costs more than the threshold

Initializing...

Proof of Lemma 3, p. 14 — with K₂ = M³(M + 1), H₂ = M(M + 1) as in Lemma 2, every plan with q₂ ≠ M costs more than the threshold · Prove2Me