Для какого наибольшего целого неотрицательного числа А выражение

( x · y > A ) \/ ( x > y ) \/ (8 ≥ x )

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