Если условие

заменить на

, получится олимпиадная задача начального уровня.
Начального, считая с кого?
Из условия

(знак

выбирается везде тот же, что и в условии). И тут выясняется, что ни по одному универсальному простому модулю

противоречия нет, числитель и знаменатель могут быть

. Зато по модулю

последовательность

последовательно пробегает все ненулевые остатки, тогда среди

встретится 0, противоречие. Или МТФ притянуть, что по сути то же.