A long-term project is to turn my combinatorics course, lectured since 2010 at Royal Holloway, into a textbook. I finally sent off the first two chapters to a potential publisher the other day. Any comments would be very welcome. The emphasis in these earlier sections is on establishing the basic principles of enumeration: adding and multiplying choices, bijective proofs, and some fairly basic binomial coefficient identities.

My experience from the course is that students found these things surprisingly difficult, but were also often pleasantly surprised how much they could do (even inventing their own proofs), once they made the effort to think.

My Ph.D student Bill O’Donovan mentioned a rather nice binomial limit to me: let be the product of all entries in row of Pascal’s Triangle. Then

There is a very simple proof using the team-and-leader binomial identities
and its equivalent form
. The name comes from the one-line bijective proof: either pick a leader from people and let them choose followers in ways, or pick a team of people in ways and let them elect a leader in ways. Using these we get

so by mass-cancellation the quotient is simply which, by the miracle of compound interest, tends to as .