二项分布期望公式的证明