13-7.4.3 Central limit theorem, sample proportion