Description

给定 $n$ 个选手，将他们分成若干只队伍。其中第 $i$ 个选手要求自己所属的队伍的人数大等于 $a_i$ 人。

在满足所有选手的要求的前提下，最大化队伍的总数。

注：每个选手属于且仅属于一支队伍。

Input Format

第一行一个整数 $n$，表示人数。

以下 $n$ 行，每行一个整数表示 $a_i$。

Output Format

输出队伍总数的最大值。数据保证有解。

5
2
1
2
2
3 

2

Hint

对于 $20\%$ 的数据，$n \leq 10$。

对于 $40\%$ 的数据，$n \leq 1000$。

对于 $60\%$ 的数据，$n \leq 10000$。

对于 $100\%$ 的数据，$1 \leq n \leq 10^6$。