CDF[BinomialDistribution[25, 1/2], 15]