Для какого наибольшего целого числа А формула
\( \(y \* y \\lt A\) → \(y \\lt 16\) ) ∧ \( \(x ≤ 13\) → \(x \* x \\lt A\) )
тождественно истинна \(то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y\)?