probabilistic method

nonconstructive method for mathematical proofs

first-order second-moment method
1