Este es un argumento clásico de estrellas y barras. Considere la colección de todas las secuencias que consisten en $n$ símbolos idénticos * y $N-1$ símbolos idénticos $\vert$. Existe una correspondencia uno a uno entre tales secuencias y el conjunto de secuencias no decrecientes de longitud $n$ con símbolos $\{1,2,\ldots,N\}$.
¿Cómo?
Permita que el "símbolo actual" sea 1. Piense en * como denotando "escribir el símbolo actual" y $\vert$ como denotando "aumentar el símbolo actual en 1".
Así, por ejemplo: si $N=5$ y $n=4$, podría tener la secuencia $*||*|**|$. Esto correspondería a la secuencia $1,3,4,4$.
Dado que estos dos conjuntos están en correspondencia uno a uno, tienen el mismo tamaño. Pero es fácil contar el número de arreglos de estrellas y barras: de $N+n-1$ ubicaciones posibles en la secuencia, necesita elegir cuáles $n$ son estrellas.