CDF[BinomialDistribution[100, 0.5], k]