P
Initializing...
Proof of Theorem 4, PDF p. 6 — for s₁ ≤ s₂ the instance's probabilities lie in [0, 1] iff s₂ ≤ φ s₁ · Prove2Me