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

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

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?