Binomial Distribution Expected Value Proof