Prove that, for all pairs of non-negative integers, ,
Solutions — 4
Solution 1
By the symmetry of the binomial coefficients,
Now
where , . By using the convexity of , calculus methods or otherwise, it is easy to see that
whence
from which the result follows.
First, if we get equalities and . The first follows from the Binomial Theorem and the second can be obtained by differentiating and evaluating at the function
Further differentiation leads to sums of for small values of , but without a new idea (see Solution 3) it may run into the sand for large values of . But viewing
as a convex sum, and using the convexity of , Jensen's inequality
Solution 2
The Stirling numbers of the second kind can be defined recursively as follows.
They satisfy the identity
where stands for the product of factors , a so-called falling power. By convention, . The proof of this identity is a simple induction (like the proof of the binomial theorem), see e.g. [1]. We now fix the value of and introduce the functions and
Note that, with the notation introduced above, we have .
Let denote the differential operator . Its main feature for us is that . After applications of the operator , the binomial theorem
The desired inequality now reads as which can be rewritten as .
It is easy to observe that , and in general that for . Using induction and the recursion for the Stirling numbers, this implies the key identity
From above we obtain now the desired inequality
Solution 3
The LHS counts the total number of ways of choosing a committee of any size from people and assigning distinct 'roles' to people in the committee (here any person can have multiple roles, and there can be more roles than committee members).
The LHS counts this by partitioning the count according to the size of the committee. For each , we first choose a committee of size (there are ways to do this), and then we assign each role in turn (there are ways to assign the roles for each such chosen committee).
The RHS forms a lower bound on . Consider first assigning the roles among the people - there are ways to do this. Next we consider 2 cases. First consider the case . In this case, once the roles are assigned, at most people have roles assigned to them, and these people must therefore all be in the committee. There remain at least people who may be either included in, or excluded from, the committee - this yields at least choices to complete the committee for each initial assignment of roles. Second, consider the case . In this case, all people may have roles assigned, so that is lower bounded by . But this in turn is greater than or equal to since . This proves the desired inequality.
Solution 4
We use strong induction on . The induction statement is
First observe that is true, since both sides are equal. Assume are true. We want to prove
First note the binomial identity . So
This proves and hence the result follows by induction.