The law of the iterated logarithm and maximal smoothing principle for the kernel distribution function estimator. Issue 1 (2nd January 2021)