#include <bits/stdc++.h>
typedef long long ll;
using namespace std;
int main(){
    cin.tie(NULL); cout.tie(NULL);
    ios_base:: sync_with_stdio(false);
    map<ll,ll> mp;
    ll n;cin>>n;
    for(ll i=0,x;i<n;i++)cin>>x,mp[x]++;
    ll ans = 0;
    for(auto &ele:mp){
        if(ele.second >= ele.first)ans+=ele.second-ele.first;
        else ans+=ele.second;
    }
    cout<<ans;
}


