Возьмём за начала расчета условие, что у всех разное количество грибов, тогда 1ый нашел 0 грибов, 2 нашел 1 гриб, 3 нашел 2 гриба, 4 нашел 3 гриба и 5 нашел 4 гриба, все вместе они нашли 0+1+2+3+4= 10 грибов, по условию 9, значит хотя бы 2 из них нашли равное кол-во грибов