Theorem 1, proof (mixed) — Σᵢ E[cᵢ] ≤ Σ_e n_e(P)(a_e(E[n_e]+1) + b_e) · Prove2Me

P

Initializing...

Theorem 1, proof (mixed) — Σᵢ E[cᵢ] ≤ Σ_e n_e(P)(a_e(E[n_e]+1) + b_e) · Prove2Me