Why the ε-approximate quantiles algorithm work ?