The binomCDF (binomial cumulative distribution function) calculates the probability of getting a certain number of successes or fewer in a fixed number of independent Bernoulli trials.
congrats on reading the definition of binomCDF. now let's actually learn it.