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

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