Гриб называем плохим, если в нём больше 11 червяков. Червяк тощий, если он съел не более 1⁄5 гриба, в котором живёт. Четверть всех грибов в лесу плохие. Докажите, что не менее трети всех червяков - вопрос №1662129