小V 有 n 本旧书，第 i 本书的编号为 ai。他想要和别人交换旧书，具体来说，每次小V 会从自己的书堆里挑出两本书给别人，然后换来一本他想要的书。
小V 最终的目标是让书的编号形成一个 1,2,...,m 的排列，你的任务是求出 m 的最大值。

第一行一个整数 n，表示旧书的个数。
第二行 n 个整数，第 i 个整数表示 ai

输出一个整数 m 表示答案。

样例二：
输入:
10
1 1 1 1 1 1 1 1 1 1
输出：
5
样例三：

输入：
6
1 2 4 6 7 271
输出：
4


样例一解释：
将编号为 6 和 17 的书换成编号为 5 的书，则形成了 1 ∼ 5 的排列。
样例二解释：
a1,a2 换成编号 1， a3,a4 换成编号 2，以此类推。


对 10% 的数据，1≤n≤10，1≤ai≤100 
对 30% 的数据，1≤n≤10³ 
对 100% 的数据，1≤n≤3×10⁵，1≤ai≤10⁹

信息未来