Binomial coefficient/Definition