cdf_binomial function cdf_binomial(x:Integer, n:Integer, ρ:Real) -> Real CDF of a binomial variate. x: The variate. n: Number of trials. ρ: Probability of a true result. Return: the cumulative probability.