Серпинский утверждает, что для
![$n>5$ $n>5$](https://dxdy-01.korotkov.co.uk/f/c/7/e/c7ed18afc86033ea951e631cebadc7de82.png)
между
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
и
![$2n$ $2n$](https://dxdy-01.korotkov.co.uk/f/4/7/c/47c124971e1327d1d3882a141f95face82.png)
содержится по меньшей мере 2 простых чисел...
Может кто то скинет ссылку с док-вом
![:oops: :oops:](./images/smilies/icon_redface.gif)
Для доказательства для
![$n>n_0$ $n>n_0$](https://dxdy-01.korotkov.co.uk/f/4/1/c/41c2a98833a38e8203517d091f94062982.png)
достаточно утверждения о том, что между
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
и
![$n\sqrt{2}$ $n\sqrt{2}$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a5ecc1dc74cccf4a42328835d5b524e82.png)
содержится хотя бы одно простое число. Можно брать обычную конструкцию Чебышёва, где доказывается существование простого между
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
и
![$\frac{6}{5}n$ $\frac{6}{5}n$](https://dxdy-01.korotkov.co.uk/f/c/4/3/c43d94e9d9b007f39a8e53cc5642da7e82.png)
для достаточно большого
![$n>n_0$ $n>n_0$](https://dxdy-01.korotkov.co.uk/f/4/1/c/41c2a98833a38e8203517d091f94062982.png)
.
Доказательства есть в:
1. Чебышеве
2. Бухштабе
3. Галочкине, Нестеренко, Шидловском.
4. В книге Доказательства из Книги (качественное док-во там точно есть)
5. Тросте
6. Чендрасекхаране
Утверждение также следует из асимптотического закона распределения, доказательство которого есть в:
1. Галочкине, Нестеренко, Шидловском.
2. Прахаре.
3. В Титчмарше должно быть
4. Ингаме.
5. Воронине, Карацубе.
6. Карацубе
7. Iwaniec
8. Edwards