wpoms.
Step by step ...


Последовательность `a_n`, состоящая из натуральных чисел, определяется равенствами `a_1 = m` и `a_n = a_{n-1}^2 + 1` при `n > 1`.
Пара `(a_k, a_l)` называется интересной, если
(i) `0 < l - k < 2016`
(ii) `a_k` делит `a_l`.
Покажите, что существует такое `m`, что в последовательности `a_n` нет интересных пар.



@темы: Теория чисел