maxal писал(а):
If

, then

for all integer

.
Кто-нибудь может мне в ЛС подсказать, как это доказывается?
Я пока нашел лишь то, что это свойство зависит от начального члена последовательности: если начинать с

, то оно неверно. Соответственно, просто с одной импликацией ничего не сделаешь.