1: $. The pointwise convergence of the cumulative distributions function of $