[CEOI2011] Teams

题目描述

有 $n$ 个小朋友要进行比赛，他们要被分为若干队伍。每一个小朋友都有一个要求，其中第 $i$ 个小朋友要求他所在的队伍最少要有 $a_i$ 个人（包括自己）。

现在请你求出一种划分方案，在满足所有小朋友的要求的情况下，最大化队伍的数量。同时在此基础上，请你最小化人数最多的队伍的人数。

输入格式

第一行一个数 $n$ 表示小朋友的个数。

接下来 $n$ 行，每行一个数，其中第 $i$ 行的数字为 $a_i$​​ 。

输出格式

如题

样例 #1

样例输入 #1

5
2
1
2
2
3

样例输出 #1

2

提示

对于 $100\%$ 的数据，有 $1\le n\le 1\ 000\ 000;1\le a_i\le n$，输入保证有解。