It's just summing up binomial random variables. We're summing over k - the number of trials. r is fixed so we are summing the probabilities that we have r successes for k = r,..., infinity trials.
Hmm, let's take an analytic stab.
Using the binomial theorem,
(p + (1 - p))^{k} = \sum_{i=0}^k...