bounds on binomial coefficients

December 4, 2020