binomial coefficient 7000 3500