1-CDF[BinomialDistribution[15,3/10],5]