CDF[BinomialDistribution[12, 0.138888889], 4]