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