1888：交换旧书
文件提交：无需freopen
内存限制：128 MB
时间限制：1.000 S
评测方式：普通裁判
命题人：
提交：4
解决：3
题目描述
蒜头君有 $n$ 本旧书，第 $i$ 本书的编号为 $a_i$。他想要和花椰妹交换旧书，具体来说，每次蒜头君会从自己的书堆里挑出两本书给花椰妹，而花椰妹会给他一本他想要的书。蒜头君最终的目标是让书的编号形成一个 $1,2,3,...,m$ 的排列，蒜头君想知道这个排列中 $m$ 最大是多少？
输入
第一行一个整数 $n$，表示旧书的数量。
第二行 $n$ 个整数，第 $i$ 个整数表示 $a_i$
$1\le n\le 3\times 10^5, 1\le a_i\le 10^9$
输出
输出一个整数，表示答案。
样例输入-1 复制
6
1 2 3 4 6 17
样例输出-1 复制
5样例输入-2 复制
10
1 1 1 1 1 1 1 1 1 1
样例输出-2 复制
5