4.2.2 problem 24

One way to think about the problem is that the event counts all sequences of independent Bernoulli trials, where the number of failures is larger than . If we extend the number of trials indefinitely, this implies that more than failures occured before the -th success, because otherwise, we’d have . The probability of this event is .

Implication in the reverse direction can be shown analogously.