#include <bits/stdc++.h>
using namespace std;
int a[3005];
int main(void) {
  int n;
  scanf("%d", &n);
  for (int i = 0; i < n; i++) {
    int x;
    scanf("%d", &x);
    a[x] = 1;
  }
  for (int i = 1; i <= 3000; i++)
    if (a[i] == 0) {
      printf("%d\n", i);
      return 0;
    }
  printf("3001\n");
  return 0;
}
