Kolmogorov–Smirnov theorem