Lemma EC.4, p. ec10 — for b2 < m*, any ρ ∈ [0,1]^E summing to b2 is the attack-probability vector of some σ2 ∈ Δ(A2)

Initializing...

Lemma EC.4, p. ec10 — for b2 < m*, any ρ ∈ [0,1]^E summing to b2 is the attack-probability vector of some σ2 ∈ Δ(A2) · Prove2Me