задачка математическая, часть 2

[avva]

Продолжение задачи, о к-й я написал сегодня утром (несколько человек её правильно решили).

Следующий, уже не такой простой шаг: доказать, что существует максимальная длина "хорошей" строки для любого алфавита конечного размера (необязательно уже из двух символов). Замечу на всякий случай, что меняется только кол-во разрешённых символов, всё остальное в условии остаётся без изменения (в частности, при рассмотрении подстрок вида x_i...x_2*i, коэффициент остаётся всегда двойкой).

Если никто не решит, я завтра помещу доказательство. Оно нетривиальное, но и не слишком сложное.