Пусть у нас есть

ячеек и

объектов. Раскладываем эти объекты по ячейкам. Способы раскладки делим на классы:
1.

, т.е. в одной (какой-либо) ячейке -

объектов, в остальных пусто.
2.

.
3.

.
4.

.
и так далее...
Задаюсь вопросом, как выразить номер первого класса, в котором во всех ячейках будет не более
объектов (
)?(считаем, что

достаточно велико, чтобы такой класс существовал).
например, для

этот номер

(начиная с третьего класса - во всех последующих классах в каждой ячейке лежат не более

объектов).