#include <iostream>
#include <vector>
using namespace std;
#include <map>

int main() {
    int a, b;
    int n;
    map<int,int>map_A;
    cin >> n;
    vector<int> A(n,0);
    int i =0;

    while ( i < n) { // 注意 while 处理多个 case
        cin >> A[i] ;
        //cout << A[i] << endl;
        map_A[A[i]] ++;
        //cout <<A[i]<<" " << map_A[A[i]] <<endl;
        i++;
    }
    i = 0;
    /*while (i<n) {
        map_A[A[i]] +=1;
        i++;
    }*/
    i = 0;
    int sum = 0;
    while (i<map_A.size()) { 
        if (map_A[i] == i) {
            //cout <<map_A[i]<<"_" << i<<endl;
            sum += i;
        }
        i++;
    }
    cout << sum << endl;

    return 0;
}
// 64 位输出请用 printf("%lld")