Perhaps the simplest way to compute the sum would just be to evaluate each term in the sum and take the total:
Then you have
15! / (15! 0!) = 1
15! / (14! 1!) = 15
15! / (13! 2!) = 105
and so on. Adding these results together gives 16,384.
I think a better solution would be to make use of the symmetry of the binomial coefficients, captured by the identity
where
.
By the binomial theorem, we have
Split up the "complete" sum at k = 7:
Use the identity above to rewrite the second sum:
Shift the index on the second sum to make it start at k = 0, and the result follows: