Definition
Binomial coefficient
The number of k-element subsets of an n-element set and its factorial formula.
For integers , the binomial coefficient is
It counts the -element subsets of an -element set. We set when or , and .
Counting argument
There are ordered selections of distinct elements. Each subset is represented by exactly orders, giving the factorial formula. Splitting subsets according to whether they contain one distinguished element gives Pascal's identity
A product bound
For and , choosing elements from a first block and from a second gives only some of the -element subsets of the union. Consequently
This bound often controls coefficients in repeated product differentiation.