Existence proofs via positive probability of object. Ramsey lower bounds R(n,n) ≥ 2^{n/2}; Lovász Local Lemma. Non-constructive power.
Existence proofs via positive probability of object. Ramsey lower bounds R(n,n) ≥ 2^{n/2}; Lovász Local Lemma. Non-constructive power.