Theorem 3 (prescribed redistribution): D(J; q) ≤ Σ_{i∈J} p_i Σ_{j∉J} λ_j c(ω_i, ω_j), equality if #J = 1 and c satisfies the triangle inequality

Initializing...

Theorem 3 (prescribed redistribution): D(J; q) ≤ Σ_{i∈J} p_i Σ_{j∉J} λ_j c(ω_i, ω_j), equality if #J = 1 and c satisfies the triangle inequality · Prove2Me