В ближайшие дни Архивач временно работает без основного хранилища ранее сохранённых картинок/видео пока мы проводим работы по техническому обслуживанию. Сохранение всего вновь поступающего контента продолжается. Но затем всё обязательно вернётся в полном объёме!
Задача:
Сосачеры в /sci/ часто собираются группами и начинают обсуждать основания математики . После это они ссорятся настолько, что никакие двое из них после этого вместе ничего не обсуждают. К концу года выяснилось, что в дальнейшем они могут обсуждать основания математики только поодиночке. Докажите, что если число обсуждений оснований математики было к этому времени больше 1 , то оно не меньше числа сосачеров в /sci/.