I'm trying to prove that the number of integer sequences of length $n$: $(a_1, a_2, \ldots, a_n)$ such that $0 \leq a_i \leq (n-i)$, $1 \leq i \leq n$ and exactly $k$ entries are equal to $0$ is given by the Stirling number of the first kind i. e. the number of permutations which break into k disjoint cycles.
Have no results at the moment. It's difficult to notice any connection between those things.