2. 停车难题

【题目描述】

小 C 的工作单位有一个无穷大的停车场，车位的编号从 $0$ 开始依次递增：$0, 1, 2, 3, \cdots$。

小C有一个癖好：每次开车上班时都要停在编号最小的空车位上。他认为这样可以积攒运气，让一天的工作都顺顺利利。

今天早上小 C 又开车来到了停车场，在手机上，app 告诉了他所有已被占用的车位编号。

请你根据 app 提供的信息，帮小 C 找出他今天应该停在几号车位。

【输入格式】

第一行输入一个整数 $n$（$1 \le n \le 10^3$）表示已被占用的车位数量。

第二行包含 $n$ 个非负整数 $a_1,a_2,a_3, \cdots, a_n$（$0 \le a_i \le 10^9$）表示已被占用的车位编号，保证 $a_i$ 严格单调递增。

【输出格式】

输出一行一个整数，表示小 C 应该停的车位编号。

【输入样例 1】

5
0 1 2 4 5

【输出样例 1】

3

【输入样例 2】

5
1 2 3 4 5

【输出样例 2】

0

【来源】

ICPC 2026 河南省赛。