Enumerating the sequences

The Binomial coefficient tells us the number of ways \( y \) successes can occur in a sequence of \( k \) Bernoulli trials.

We don't know which of the sequences actually occurrs. So we add the probabilities for all of the possible sequences.