sum (factorial(k)/(factorial(n)*factorial(k-n))), n=1 to k, k = 9