Below you will find descriptions and details for the 4 formulas that are used to compute the CDF (cumulative distribution function) for the binomial distribution.

Beta function:

Cumulative distribution function (CDF) for the binomial distribution:

Lower incomplete beta function:

Regularized lower incomplete beta function:

the numerator = lower incomplete beta function

the denominator = beta function