Если достать 9 шаров, то среди них обязательно будет шар красного цвета.

В худшем случае, можно вытащить все 4 зелёных и все 3 синих шара, что в сумме составляет 7 шаров. Следующие 2 шара будут красными. Таким образом, среди 9 шаров обязательно будут красные.