Proof of Theorem 2, lower bound: Σ_{i∈J} p_i min_{k∉J} c(ω_i, ω_k) ≤ D(J; q) for every feasible q

Initializing...

Proof of Theorem 2, lower bound: Σ_{i∈J} p_i min_{k∉J} c(ω_i, ω_k) ≤ D(J; q) for every feasible q · Prove2Me