soddy1979

I think the formula is the sum of the probabilities of getting 70/100 + 71/100 + 72/100...100/100, where the (first) formula is .25^70*.75^30 and on and on.