15_0285

Для какого наименьшего целого числа $A$ формула

$$(x \ge 20) \lor (y \ge 40) \lor (y \le x + A) \lor (y \ge 3x - A)$$

тождественно истинна, т. е. принимает значение $1$ при любых целых неотрицательных $x$ и $y$?