В роще растут деревья 4 видов. Всего 100 деревьев. Известно, что среди любых 85 деревьев найдутся деревья всех 4 видов. Среди какого наименьшего количества любых деревьев в этой роще обязательно найдутся деревья хотя бы 3 видов.