暂无测试数据。

蒜老师为了提高同学们的身体素质，想要在班里组织若干个足球队。（每个足球队的人数有可能不同。）

第 $i$ 同学有一个训练值 $a_i$，对于这个同学想要加入的足球队来说，这个足球队的人数一定要大于等于 $a_i$。

不一定每个人都要加入足球队，问蒜老师最多能组织多少个足球队。

输入格式

输入共两行。

第一行输入一个正整数 $n$，表示班里有多少同学。

第二行输入 $n$ 个以空格隔开的正整数 $a_i$，第 $i$ 个数表示第 $i$ 个同学的训练值。

输出格式

输出共一个整数，表示蒜老师最多能组织多少个足球队。

数据范围

对于 $10\%$ 的数据，有 $1\leq n\leq 10^3$，且每个同学的训练值 $a_i=1$。

对于另外 $20\%$ 的数据，有 $1\leq n\leq 10^3$，且每个同学的训练值 $a_i$ 等于 $1$ 或等于 $2$。

对于另外 $100\%$ 的数据，有 $1\leq n\leq 2\times 10^5,1\leq a_i\leq n$。

3
1 2 2

2

5
1 2 3 4 5

1