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). On tape :
On obtient :
On peut vérifier que :
On tape :