$3\mathrm{.}7$ Binomial coefficients are a frequent computational task in computer science. They are defined as follows for n$>=0,0<=$ k $<=$ n $(!$ Is factorial and $0!=1)$: