Almost sure convergence of smoothed empirical distribution functions