Пусть

- последовательность,

. Известно, что
![$$\lim\limits_{b\to +\infty}\frac{\sum\limits_k[ky_k\leqslant b]}{b}=1$$ $$\lim\limits_{b\to +\infty}\frac{\sum\limits_k[ky_k\leqslant b]}{b}=1$$](https://dxdy-04.korotkov.co.uk/f/f/4/8/f488d7fd79d2ef3f6b0cac7bcb00a89d82.png)
(т.е. неявно предполагается, что для всякого

сумма в числителе определена, т.е. имеет конечное число ненулевых слагаемых)
Верно ли, что последовательность

равномерно распределена по модулю

, т.е. для любого

верно
![$\lim\limits_{n\to\infty}\frac{1}{n}\sum\limits_{k=1}^n[y_k<a]=a$ $\lim\limits_{n\to\infty}\frac{1}{n}\sum\limits_{k=1}^n[y_k<a]=a$](https://dxdy-01.korotkov.co.uk/f/8/0/c/80cf5eccc80c4acc50aa3d978442955282.png)
.
Здесь
![$[P(k)]$ $[P(k)]$](https://dxdy-02.korotkov.co.uk/f/1/4/a/14a12330e730b1ceb0c91c17f634d00a82.png)
-
нотация АйверсонаЯ пока вижу только, что из равномерности исходное свойство не следует. Т.е. либо данное свойство - сильнее равномерности, либо оно с ним никак не связано. А как прямо доказать пока не вижу.