Efficient nonparametric estimation of a distribution function