Probability of at least a certain number of events