Lemonade Line
It's a hot summer day out on the farm, and Farmer John is serving lemonade to his n cows! All n cows (conveniently numbered 1..n) like lemonade, but some of them like it more than others. In particular, cow i is willing to wait in a line behind at most wi cows to get her lemonade. Right now all n cows are in the fields, but as soon as Farmer John rings his cowbell, the cows will immediately descend upon FJ's lemonade stand. They will all arrive before he starts serving lemonade, but no two cows will arrive at the same time. Furthermore, when cow i arrives, she will join the line if and only if there are at most w[i] cows already in line.
Farmer John wants to prepare some amount of lemonade in advance, but he does not want to be wasteful. The number of cows who join the line might depend on the order in which they arrive. Help him find the minimum possible number of cows who join the line.
Input
The first line contains n (1 ≤ n ≤ 10^5), and the second line contains n integers w[1], w[2], .., w[n]. It is guaranteed that 0 ≤ w[i] ≤ 10^9 for each cow i.
Output
Print the minimum possible number of cows who might join the line, among all possible orders in which the cows might arrive.
Example
In this setting, only three cows might end up in line (and this is the smallest possible). Suppose the cows with w = 7 and w = 400 arrive first and wait in line. Then the cow with w = 1 arrives and turns away, since 2 cows are already in line. The cows with w = 2 then arrive, one staying and one turning away.