CDF[BinomialDistribution[15,0.75],8]