i,w[];c(int*a,int*b){i=*a-*b;}main(j){for(;!~scanf("%d",w+i++)?qsort(w+2,*w,4,c),w[1]--?j+=!--w[j+1]:!printf("%d",j-1):1;);}