Законы математической логики

Обозначим через mod(m, n) остаток от деления m на n. Для какого наименьшего натурального числа А формула

тождественно истинна при любых целых положительных х?