Для какого наибольшего целого неотрицательного числа G выражение
\(2 \* f \+ h ≠ 70\) ∨ \(f \\lt h\) ∨ \(G \\lt f\) тождественно истинно при любых целых неотрицательных f и h?