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