Гарантировать нахождение ученика, который верно решил хотя бы KK задач, означает, что мы должны распределить 200 учеников так, чтобы ни одна задача не имела менее чем KK учеников, решивших её корректно. То есть, у нас должно быть K-1 "ящиков", в которые мы помещаем по 89 учеников, и один "ящик" с оставшимися учениками (200 - 89 * 8 = 28).
Таким образом, наибольшее K, при котором мы можем гарантировать нахождение ученика, который верно решил хотя бы K задач, равно 9, так как в противном случае какая-то из 9 задач получит меньше 89 учеников (200 / 9 = 22,22).
Таким образом, можно гарантировать, что найдется ученик, который верно решил хотя бы 9 задач.