Для какого наименьшего целого числа А формула
(x2 + y2 > 128) ∨ (y < -x + A) {"color":"#202335","fontFamily":"stix","language":"ru"}
тождественно истинна, т. е. принимает значение 1 при любых целых неотрицательных х и у?