This paper establishes the asymptotic optimality (in the sense of Robbins) of the empirical Bayes distribution function created from the Bayes rule relative to the Dirichlet process prior with unknown parameter α(.). It will follow that the same result applies to the estimation of the mean of a distribution function.