The probabilistic method