성지의 생일 파티

서울 관악구 신림동에 사는 성지의 생일이 사흘 앞으로 다가왔다. 일요일에서 월요일로 넘어가는 자정, 902호에서 성지의 생일 파티가 열린다. 파티에는 성지와 초대받은 학생들이 참석한다.

N명의 학생이 파티에 가고 싶어 한다. 각 학생 i는 자신이 초대되었을 때, 자신과 성지를 제외하고도 적어도 k_i명의 학생이 함께 참석해야 만족한다.

성지는 초대받은 모든 학생의 조건을 만족시키는 범위에서 가능한 한 적은 수의 학생만 초대하려고 한다. 학생 수 N과 각 학생의 k_i가 주어질 때, 초대해야 하는 학생 수의 최솟값을 구하라.

첫째 줄에 학생 수 N이 주어진다. (1 <= N <= 10,000)

이어서 N개의 줄에 각 학생의 k_i 값이 하나씩 주어진다.

초대받은 모든 학생을 만족시키면서 초대할 수 있는 최소 학생 수를 출력한다.

학생 두 명이 모두 k = 1을 생각하는 경우, 한 명만 초대하면 그 학생 외에 다른 학생이 없으므로 조건을 만족하지 못한다. 두 명을 모두 초대하면 각 학생에게 다른 학생이 한 명씩 있으므로 조건을 만족한다.