У Ани в коробке 9 карандашей.

По крайней мере один из них-голубой. Среди любых четырёх карандашей не менее двух имеют одинаковый цвет, а среди пяти не более трёх имеют одинаковый цвет. Сколько голубых карандашей находиться у Ани в коробке