P
Initializing...
Lemma 2(i), p. 11 — c^OR ≥ 0 if and only if α ≤ 1/2 and θ ≤ (1 − 2α)/(2(1 − α)) · Prove2Me