Mô tả bài toán:

Công ty IBM yêu cầu mỗi nhân viên phải có một số ID là một số nguyên dương duy nhất. Để đảm bảo tính khoa học, khi có nhân viên mới, số ID được cấp phải là số nguyên dương nhỏ nhất chưa được sử dụng trong danh sách các số IP hiện có.

Đầu vào:

• Dòng đầu tiên chứa số nguyên ~ N ~ (~ 1 \leq N \leq 10^5 ~) — số lượng nhân viên hiện tại.
• ~ N ~ dòng tiếp theo, mỗi dòng chứa một số nguyên dương ~ a_i ~ (~ 1 \leq a_i \leq 10^9 ~) — số ID của từng nhân viên hiện tại.

Đầu ra:

• Một dòng duy nhất chứa số nguyên dương nhỏ nhất chưa được sử dụng.

Ví dụ:

Input:

3
1
2
3

Output:

4

Giải thích:

Các số ID hiện tại là ~[1, 2, 3]~. Số nguyên dương nhỏ nhất chưa được sử dụng là ~4~.

Input:

5
2
5
1
6
8

Output:

3

Giải thích:

Các số ID hiện tại là ~[2, 5, 1, 6, 8]~. Số nguyên dương nhỏ nhất chưa được sử dụng là ~3~.