4.15.3 The central limit theorem