问题 CT: 时间要开始加速了
内存限制：128 MB
时间限制：1.000 S
评测方式：文本比较
命题人：
提交：530
解决：213
题目描述
众所周知，屑神父一紧张会数质数。
无独有偶，小L在生气时就会从小到大连续的数正整数。
周三时，小Z因为没有将上周周赛数据导入表格，导致小L之前搞的一切都成了无用功。小L很生气，后果很严重！
这时候有n个无序正整数，小L要从左到右的将一些数从中剔除。
如果还剩下k个数，那么这k个数应该是由1到k的有序排列。
请问，小L最少需要剔除多少个数？
如果这n个数都被剔除的话，小L就不忍了！他会好好地将小Z教训一顿。相应的，输出-1。
无独有偶，小L在生气时就会从小到大连续的数正整数。
周三时，小Z因为没有将上周周赛数据导入表格，导致小L之前搞的一切都成了无用功。小L很生气，后果很严重！
这时候有n个无序正整数，小L要从左到右的将一些数从中剔除。
如果还剩下k个数，那么这k个数应该是由1到k的有序排列。
请问，小L最少需要剔除多少个数？
如果这n个数都被剔除的话，小L就不忍了！他会好好地将小Z教训一顿。相应的，输出-1。
输入
$1\leq n\leq 2*10^{5}$
$1\leq A_{i}\leq n$
$1\leq A_{i}\leq n$
输出
k或者是-1
样例输入 复制
6
1 1 4 5 1 4样例输出 复制
5