Четкая формулировка вопроса:
Можно утверждать, что для случайного блуждания
- Либо сходится, либо равно 2.
Равно 2, когда у нас для любого

можно найти взаимно исключающие события - когда цепь имеет периодическое состояние, тогда под модулем

.
Если теперь мы сделали вероятность залипания

- якобы убрав периодичность состояний.
Будет ли тогда сходимость?
Аргумент в пользу того, что будет - потому что в предыдущем контрпримере была конструкция, суть которой, как мне кажется, в том, что НОД

, где

- период состояний,

- сдвиг. Мы "уничтожили" d.
Аргумент в пользу того, что не будет - так визуально же ничего не поменялось.