package com.Back;
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.Arrays;
import java.util.StringTokenizer;
public class Back_9237 {
public static void main(String[] args) throws NumberFormatException, IOException {
BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
int N = Integer.parseInt(br.readLine());
int trees[] = new int[N];
StringTokenizer st = new StringTokenizer(br.readLine());
for (int i = 0; i < N; i++) {
trees[i]=Integer.parseInt(st.nextToken());
}
Arrays.sort(trees);
int max = 0;
for (int i = 0; i < N; i++) {
trees[N-i-1] = trees[N-i-1] +i+1;
max= Math.max(max, trees[N-i-1]);
}
System.out.println(max+1);
}
}