Weierstrass Approximation Theorem/Lemma 1

Theorem
Let $\map {p_{n, k} } t : \N^2 \times \closedint 0 1 \to \R$ be a real valued function defined by:


 * $\map {p_{n, k} } t := \dbinom n k t^k \paren {1 - t}^{n - k}$

where:
 * $n, k \in \N$
 * $t \in \closedint 0 1$
 * $\dbinom n k$ denotes the binomial coefficient.

Then:
 * $\ds \sum_{k \mathop = 0}^n k \map {p_{n, k} } t = n t$

Proof
From the binomial theorem: