Lemma 2 — the optimum of $\min x^{\mathsf T}Dx$ over $[0,1]^m$ is $0$ or at most $-2^{-L}$

Initializing...

Lemma 2 — the optimum of $\min x^{\mathsf T}Dx$ over $[0,1]^m$ is $0$ or at most $-2^{-L}$ · Prove2Me