Binomial Distribution of the Empirical Distribution Function