#!/usr/bin/python3

# 27-Z3-3 Superstromy
# Složitost: O(N + T)

# Načtení vstupu
N = int(input())
vstup = list(map(int, input().split()))

# Pole s počty jednotlivých typů stromů
t = [0]*(1001)

for i in vstup:
    t[i] += 1

maximum = 1
den = 0
for i in range(1000, 0, -1): # Stromy projdeme od nejpomalejších a přiřadíme jim jednotlivé dny (i = počet dní, které daný strom roste)
    den += t[i] # Na zasazení t[i] stromů potřebujeme t[i] dní
    if t[i] and (i + den) > maximum:
        maximum = i + den

print(maximum + 1)