P
Initializing...
Lemma 9, p. 28 — the level-k Lasserre value is a relaxation: νk(H) ≥ λmax(H) · Prove2Me