Lorsqu’une variable aléatoire X suit une loi binomiale 
B(n,p), on a : 
binomial_cdf(n,p,x)=Proba(X ≤ x)= 
binomial(n,0,p)+...+binomial(n,floor(x),p).
binomial_cdf(n,p,x,y)=Proba(x≤ X ≤ y)= 
binomial(n,ceil(x),p)+...+binomial(n,floor(y),p).
On tape :
On obtient :
On peut vérifier que :
On tape :
On obtient :
On tape :
On obtient :