题目描述

“暗羽射手” 是游戏《无尽战域》中的一位隐藏英雄。

暗羽射手拥有 $n$ 支特殊箭矢，其中第 $i$ 支箭矢的射程值为 $a_i$。

暗羽射手可以按照任意顺序发射这些箭矢，当发射的第 $x$ 支箭矢的射程值恰好等于 $x$ 时，他就能获得 $x$ 个战利品水晶。

请问暗羽射手最多能获得多少个战利品水晶？

输入格式

第一行一个正整数 $n$，代表箭矢的数量。

第二行 $n$ 个整数 $a_1,\ a_2,\ …,\ a_n$，代表每支箭矢的射程值。

输出格式

输出一个整数，代表暗羽射手最多能获得的战利品水晶数量。

样例

5
1 2 3 4 5

15

3
5 10 2

2

10
6 9 8 6 8 3 2 6 7 3

35

样例1解释

在这个样例中，依次打出 $1,\ 2,\ 3,\ 4,\ 5$，可以获得 $15$ 个战利品水晶。显然，任何其他顺序都无法获得比 $15$ 更多的战利品水晶。

样例2解释

在这个样例中，一共有六种不同的打出顺序：

• 依次打出 $5$，$10$，$2$，获得 $0$ 个战利品水晶；
• 依次打出 $5$，$2$，$10$，获得 $2$ 个战利品水晶；
• 依次打出 $10$，$5$，$2$，获得 $0$ 个战利品水晶；
• 依次打出 $10$，$2$，$5$，获得 $2$ 个战利品水晶；
• 依次打出 $2$，$5$，$10$，获得 $0$ 个战利品水晶；
• 依次打出 $2$，$10$，$5$，获得 $0$ 个战利品水晶。

综上，最多只能获得 $2$ 个战利品水晶。

数据范围

对于 $60\%$ 的数据，$1\le n\le 1000$.

对于 $100\%$ 的数据，$1\le n\le 10^5$，$1\le a_i\le 10^5$。