### 8.4.2 Fonction de répartition de la loi binomiale : binomial_cdf

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 :

binomial_cdf(4,0.5,2)

On obtient :

0.6875

On peut vérifier que :

binomial(4,0,0.5)+binomial(4,1,0.5)+binomial(4,2,0.5)
=0.6875

On tape :

binomial_cdf(2,0.3,1)

On obtient :

0.91

On tape :

binomial_cdf(2,0.3,1,2)

On obtient :

0.51