Kolmogorov's inequality (source code)

= Kolmogorov's inequality
{wiki=Kolmogorov's_inequality}