Probabilistic proofs of existence of rare events