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