该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

今年重庆的夏天非常热，A 超市决定给大家免费发放冰阔落，不过不能乱，领取的时候得排队。

已知会有 $N$ 个人（编号 $1 \sim N$）去领冰阔落。然鹅天气太热了，编号 $i$ 的人为了领到冰阔落，最多愿意排在 $w_i$ 个人之后。他们会在发放员开始分发冰阔落之前到达，但是没有人会同时到达。当编号 $i$ 的人到达时，如果队伍里有不多于 $w_i$ 个人在排队，那么他会来排队，否则他就去轻轨站纳凉去了。

发放员要提前准备冰阔落，但是他不想浪费，帮助他求出最少可能的排队的人数。排队的人的数量可能取决于他们到达的顺序。

输入文件 lemonade.in

第一行包含 $N$，第二行包含 $N$ 个用空格分隔的整数 $w_1, w_2, \dots, w_N$。

输出文件 lemonade.out

输出在所有可能的到达顺序之下，最小可能的排队的人数。

5
7 1 400 2 2

3

在这个情况下，可能最后仅有三个人在队伍中（这也是最小可能值）。假设 $w=7$ 和 $w=400$ 的人先到并在队伍中。然后 $w=1$ 的人到达之后会直接离开，因为已经有 $2$ 个人在队伍中了。然后 $w=2$ 的两个人到达，一人留下排队，一人离开。

提示

样例 2 见附加文件。

对于 $40\%$ 的数据，$1 \le N \le 500$。

对于 $100\%$ 的数据，$1≤N≤10^5$，$0≤w_i≤10^9$。