sum \binom{5}{k}