La caída en el poder de nk_ (leer n a la caída de la k) se define como sigue: nk_=n(n−1)(n−2)⋯(n−k+1) Estos son importantes en el cálculo discreto debido a sus diferencias finitas, y las sumas son análogos a los de la normal de poderes en el cálculo diferencial: Δnk_=knk−1_ Es fácil ver que n1=n1_n2=n2_+n1_. Con estos casos, uno puede expresar de forma recursiva cualquier potencia normal nk como una suma de la caída de los poderes de la orden de k y menos por el siguiente método: expandir nk_, lo que da un kth polinomiales de orden. A continuación, sustituir la caída del poder de las expansiones para todos los términos de orden menor que k, expresando nk_ nk además de algunos de menor orden de caída de los poderes. Reorganizar poner nk sobre el lado izquierdo y la caída de todos los poderes en el lado derecho. Por ejemplo, uno puede encontrar que n3=n3_+3n2_+n1_.
Esto es algo tedioso para hacer a mano para grandes valores de k. Hay un método más directo para expandir nk en una suma de la caída de los poderes?