b_{n-1}>b_{n-2}..." alt="b_{n}>b_{n-1}>b_{n-2}..." align="absmiddle" class="latex-formula">
заметим что число
простое
очевидно что
не может быть кратно
,(это единственный выход), так как сумма членов тогда может превышать числа
.
Следовательно
должно делится на
Пусть
придется равняться только
так как ранее было уже сказано.
очевидно
может принимать значения либо
так далее уже будет превышать , проверяя их приходит к тому что такой прогрессий не существует.