Pour tous entiers i et k entre 0 et n, P_k(i) = k! * B(i,k) où B(i,k) est le coefficient binomial "k parmi i", en particulier P_k(i) = 0 si k > i et donc P(i) = somme des c_k * k! * B(i,k) pour k allant de 0 à i.
Initialisation de la récurrence : c_0 = P(0) est un entier (notons-le L_0), ce qu'il fallait montrer.
Pour un entier i entre 0 et n-1 donné, supposons que la propriété c_k = L_k / k! pour un entier L_k est vraie pour tout k de 0 à i-1, montrons alors que c_i est de la forme L_i / i! pour un certain entier L_i :
P(i) = c_i * i! * B(i,i) + somme des c_k * k! * B(i,k) pour k allant de 0 à i-1, on obtient donc par hypothèse de récurrence que
c_i * i! = P(i) - somme des L_k / k! * k! * B(i,k) pour k allant de 0 à i-1, c'est-à-dire
c_i * i! = P(i) - somme des entiers L_k * B(i,k) pour k allant de 0 à i - 1,
il s'agit donc bien d'un entier L_i puisque P(i) est un entier par hypothèse.
Fin de la récurrence.