A note on the probability of at least K successes in N correlated binary trials