Добби на Рождество подарили пакет, в котором лежали 2018 носков красного

Добби на Рождество подарили пакет, в котором лежали 2018 носков красноватого либо голубого цвета (каждый носок 1-го цвета). Вытаскивая из пакета носки и засовывая их назад, Добби выяснил, что:

по крайней мере один из носков голубий;
какую бы пару носков не брать, там есть, по последней мере, один красноватый носок.
Сколько бардовых носков подарили Добби?