Нестандартные выражения

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

(div(x, 40) > 10) ∨ ¬(div(x, 20) > 4) ∨ (div(x, A) > 4)

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