#include <bits/stdc++.h>
using namespace std;
int getSum(int arr[],int n){
unordered_map<int,int>m;
int sum=0;
for(int i=0;i<n;i++){
m[arr[i]]++;
}
for(auto itr=m.begin();itr!=m.end();itr++){
if(itr->first<itr->second){
sum+=itr->second;
}
}
return sum;
}
int main() {
// your code goes here
int n;
cin>>n;
int arr[n];
for(int i=0;i<n;i++){
cin>>arr[i];
}
cout<<getSum(arr,n);
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBnZXRTdW0oaW50IGFycltdLGludCBuKXsKCXVub3JkZXJlZF9tYXA8aW50LGludD5tOwoJaW50IHN1bT0wOwoJZm9yKGludCBpPTA7aTxuO2krKyl7CgkJbVthcnJbaV1dKys7Cgl9Cglmb3IoYXV0byBpdHI9bS5iZWdpbigpO2l0ciE9bS5lbmQoKTtpdHIrKyl7CgkJaWYoaXRyLT5maXJzdDxpdHItPnNlY29uZCl7CgkJCXN1bSs9aXRyLT5zZWNvbmQ7CgkJfQoJfQoJcmV0dXJuIHN1bTsKfQoKaW50IG1haW4oKSB7CgkvLyB5b3VyIGNvZGUgZ29lcyBoZXJlCglpbnQgbjsKCWNpbj4+bjsKCWludCBhcnJbbl07Cglmb3IoaW50IGk9MDtpPG47aSsrKXsKCQljaW4+PmFycltpXTsKCX0KCWNvdXQ8PGdldFN1bShhcnIsbik7CglyZXR1cm4gMDsKfQ==