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