I am stuck on the following question.
Prove that $S(n+1, n) = \frac{n(n+1)}{2}$ for any $n \ge 1$
This is where $S(n+1,n)$ is the Stirling number, partitioning a $n+1$-element set into $n$ parts.
What first steps should be taken to try and derive this?
Let's suppose you have a set of eleven distinguishable balls and ten blank boxes to put them in. Also you are commanded to put at least one ball in each box. Then you have to have one box with two balls and nine boxes with one ball each. You can distinguish the two-ball box now, but not the one-ball boxes. So you can only tell apart these arrangements by seeing which balls are in the two-ball box. But these are two balls from eleven. Therefore $S(11,10)=\binom{11}2$.