Proof of Theorem 2, upper bound: q̄ is feasible and D(J; q̄) ≤ Σ_{i∈J} p_i min_{j∉J} c(ω_i, ω_j)

Initializing...

Proof of Theorem 2, upper bound: q̄ is feasible and D(J; q̄) ≤ Σ_{i∈J} p_i min_{j∉J} c(ω_i, ω_j) · Prove2Me