Show that choose is increasing for small values of the right argument.
choose n r
is maximised when r
is n/2
.
A version of the binomial theorem for noncommutative semirings.
The sum of entries in a row of Pascal's triangle
Specific facts about binomial coefficients and their sums