
b_{n-1}>b_{n-2}..." alt="b_{n}>b_{n-1}>b_{n-2}..." align="absmiddle" class="latex-formula">
заметим что число

простое
очевидно что

не может быть кратно

,(это единственный выход), так как сумма членов тогда может превышать числа

.
Следовательно

должно делится на
Пусть

придется равняться только

так как ранее было уже сказано.
очевидно

может принимать значения либо

так далее уже будет превышать , проверяя их приходит к тому что такой прогрессий не существует.