Data_novice
이항 분포 평균, 분산 증명