We'll prove some formulas for summing binomial coefficients, and use them to solve competition problems.
