CDF[BinomialDistribution[100, 0.25], x]