This is the binomial distribution function and the cumulative version of the binomial distribution function