渔民组队捕鱼

题目描述

有 $n$ 个渔民准备出海捕鱼，他们要分成若干艘渔船。其中第 $i$ 个渔民要求自己所属的渔船上的渔民人数大于等于 $a_i$ 人。

在满足所有渔民的要求的前提下，最大化渔船的总数。

注：每个渔民属于且仅属于一艘渔船。

输入格式

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

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

输出格式

输出渔船总数的最大值。数据保证有解。

输入输出样例 #1

输入 #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$。