Pointwise Mean and Variance of the Empirical Distribution Function