分队问题

题目描述

给定 $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$。