Задача. Пусть

- независимые симметрично распределенные случайные величины. Показать, что
![$$\mathsf{E}\Bigl[\Bigl(\sum\xi_n\Bigr)^2\wedge 1\Bigr] \leqslant \sum\mathsf{E}(\xi_n^2 \wedge 1).$$ $$\mathsf{E}\Bigl[\Bigl(\sum\xi_n\Bigr)^2\wedge 1\Bigr] \leqslant \sum\mathsf{E}(\xi_n^2 \wedge 1).$$](https://dxdy-04.korotkov.co.uk/f/7/6/7/76776719fb78961e3c69e26a2eeb2b4782.png)
Попытка решения. Пусть

. Тогда
![$$\mathsf{E}[S^2\wedge 1] = \mathsf{E}[S^2 I(S^2<1)] + \mathsf{E}[I(S^2\geqslant 1)],$$ $$\mathsf{E}[S^2\wedge 1] = \mathsf{E}[S^2 I(S^2<1)] + \mathsf{E}[I(S^2\geqslant 1)],$$](https://dxdy-04.korotkov.co.uk/f/b/9/6/b96f86670b1cf303c46576bfeef20d1a82.png)
где
![$$\mathsf{E}[S^2 I(S^2<1)] = \sum\mathsf{E}\xi_n^2I(S^2<1) + \sum_{i\ne j}\mathsf{E}[\xi_i\xi_jI(S^2<1)].\eqno{(1)}$$ $$\mathsf{E}[S^2 I(S^2<1)] = \sum\mathsf{E}\xi_n^2I(S^2<1) + \sum_{i\ne j}\mathsf{E}[\xi_i\xi_jI(S^2<1)].\eqno{(1)}$$](https://dxdy-04.korotkov.co.uk/f/3/a/6/3a60c77a05eb3a469265040415ae4b1f82.png)
Кажется, что второй член справа в

равен нулю, но я не могу это доказать. Попробовал представить так

или

где

Получается, что

но что такое

- не понимаю. Было бы неплохо, если бы

была симметрична по переменным

, но откуда это следует, не вижу.
Но, может, всё проще и все эти рассуждения не нужны?