分队问题
题目描述
给定 $n$ 个选手,将他们分成若干只队伍。其中第 $i$ 个选手要求自己所属的队伍的人数大等于 $a_i$ 人。
在满足所有选手的要求的前提下,最大化队伍的总数。
注:每个选手属于且仅属于一支队伍。
输入输出格式
输入格式
第一行一个整数 $n$,表示人数。
以下 $n$ 行,每行一个整数表示 $a_i$。
输出格式
输出队伍总数的最大值。数据保证有解。
输入输出样例
输入样例 #1
5
2
1
2
2
3
输出样例 #1
2
说明
对于 $20\%$ 的数据,$n \leq 10$。
对于 $40\%$ 的数据,$n \leq 1000$。
对于 $60\%$ 的数据,$n \leq 10000$。
对于 $100\%$ 的数据,$1 \leq n \leq 10^6$。