#include<bits/stdc++.h>
#define ll long long
using namespace std;
map <int, int> M;
int f(int x, int y)
{
    if (x>=y) return x-y;
    return x;
}
int main()
{
    int n;
    cin >> n;
    int ans = 0;
    for(int i = 0; i < n; i++)
    {
        int a;
        cin>> a;
        int X = M[a];
        ans -= f(X , a);
        ans += f(X+1 , a);
        M[a]++;
    }
    cout << ans << endl;

}
