Distribution functions of means of a Dirichlet process