Une répartition est décrite par une application
f:{1,…,p}⟶{1,…,n}, où f(j) est le numéro de la case contenant le jeton j. L’univers contient donc np éléments, équiprobables.
Posons A=A1∪⋯∪An. Pour des indices distinctsi1,…,ik, l’événementAi1∩⋯∩Aiksignifie que ces k cases sont vides. Les jetons doivent donc être répartis dans lesn−k autres cases, ce qui donne
card(Ai1∩⋯∩Aik)=(n−k)p. La formule du crible donne alors
card(A)=k=1∑n(−1)k−1(kn)(n−k)p. Le terme correspondant à k=nest nul dès que p≥1. Ainsi
P(A1∪⋯∪An)=k=1∑n−1(−1)k−1(kn)(nn−k)p.