Binomial coefficient: Sum

Dependencies:

1. Binomial Coefficient
2. Binomial theorem

\[ \sum_{i=0}^n \binom{n}{i} = 2^n \]

Proof

Use binomial theorem with $a = b = 1$.

Dependency for:

1. Binomial coefficient: Sum 1

Info:

• Depth: 2
• Number of transitive dependencies: 3

Transitive dependencies:

1. Binomial Coefficient
2. Semiring
3. Binomial theorem