SPOJ Brasil

Aplicativos para celular nas áreas de saúde e fitness estão na moda. Querendo abocanhar uma parte desse mercado, Joana, uma ávida ciclista, resolveu criar um app para ajudar outros ciclistas.

Para tornar o aplicativo mais interessante, vão ser incorporados alguns elementos de RPGs, incluindo achievements e níveis de experiência. Como nível de experiência de um ciclista, Joana decidiu usar o Número de Eddington.

O Número de Eddington de um ciclista é definido como o maior inteiro E tal que o ciclista pedalou pelo menos E quilômetros em E dias diferentes. Um número de Eddington de 70, por exemplo, significa que em 70 dias diferentes, o ciclista pedalou 70 ou mais quilômetros. Esse número é uma medida de progresso interessante porque fica cada vez mais difícil, dado que nem todos os dias que contaram para o nível N contam para o nível N+1.

Joana está bastante ocupada com vários aspectos do aplicativo, e pediu sua ajuda. Dado o número de quilômetros percorridos por um ciclista por dia, para vários dias, calcule o número de Eddington desse ciclista.

Entrada

A entrada possui múltiplos casos de teste. Cada caso de teste é dado em duas linhas. A primeira contém um único inteiro N, que representa o número de dias nos quais o ciclista pedalou (0 < N < 1000). A segunda linha contém N inteiros a₁, a₂, ..., a_n, onde a_i é o número de quilômetros pedalados pelo ciclista no i-ésimo dia (0 ≤ a_i ≤ 200).

A entrada termina quando N=0.

Saída

Para cada caso de teste, imprima uma linha contendo um único inteiro E, que é o número de Eddington do ciclista.

Exemplos

Entrada:
5
8 5 7 5 6
5
1 2 2 3 3
10
1 2 3 4 5 6 7 8 9 10
10
3 0 7 7 8 0 7 9 9 10
3
5 5 5
0

Saída:
5
2
5
7
3