#include <string>
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<long long,long long> P;
typedef pair<long long,P> P1;
typedef pair<P,P> P2;
#define pu push
#define pb push_back
#define mp make_pair
#define eps 1e-7
#define INF 1000000000
#define mod 1000000007
#define fi first
#define sc second
#define rep(i,x) for(long long i=0;i<x;i++)
#define repn(i,x) for(long long i=1;i<=x;i++)
#define SORT(x) sort(x.begin(),x.end())
#define ERASE(x) x.erase(unique(x.begin(),x.end()),x.end())
#define POSL(x,v) (lower_bound(x.begin(),x.end(),v)-x.begin())
#define POSU(x,v) (upper_bound(x.begin(),x.end(),v)-x.begin())
long long n,h[100005];
ll dp[100005];
#define ALL(v)  (v).begin(),(v).end()
//#define MAX(a,b) if(a>b)
#define MAX(a,b) (((a)>(b))?(a):(b))
#define MIN(a,b) (((a)<(b))?(a):(b))

#define DEBUG
int GCD(int a, int b) { return b ? GCD(b, a%b) : a; }

stack<long long> sta;   
queue<long long> que;
set <string> s_set;

int main(){
	
	long long A,B,C,D,E,F,G,H,I,J,L,N,M,K,O,P,Q,R,S,T,U,V,W,X,Y,Z;
	long long ans;
	ans=0;
	string s;
	long long sum,sum1,sum2,sum3,sum4;
	sum=sum1=sum2=sum3=sum4=0;
	long long flg,flg1,cnt,cnt1,cnt2,cnt3,cnt4;
	flg=flg1=cnt=cnt1=cnt2=cnt3=cnt4=0;
	long long max;
	long long max1;
	max=max1=0;
	long long min;
	long long min1;
	min=min1=INF;
	long long wk,wk1,wk2,wk3,wk4;
	wk=wk1=wk2=wk3=wk4=0;
    map<long long,long long> nums;
    
    
	//long long a[4];
	/*
	// input
	size_t len = 3;
	vector< vector<int> > vec(len, vector<int>(len));  // (N, M) array 0で初期化
	int max_num = -1;
	REP(i, len) {
		REP(j, len) {
			cin >> vec[i][j];
		}
	}
	// calculation
	int max_r0 = *MAX(vec[0]), max_r1 = *MAX(vec[1]), max_r2 = *MAX(vec[2]);
	*/
	
	
	//**************************ここからスタート******************************************
	std::cin >> N;
	//std::cin >> N >> M;
	//std::cin >> N >> M >> K;
	//std::cin >> N >> K;
    
	//std::vector<long long> w(N);
	//std::vector<long long> x(N);
	//vec.push_back( i );
	//accumulate(vec.begin(), vec.end(), 0)
    
	// 配列入力1
	for(long long i=1; i<=N; i++){
		std::cin >> wk;
		nums[wk]++;
	}
	
	
	//std::sort(v.begin(),v.end());//昇順ソート
	//std::sort(v.begin(),v.end(),std::greater<long long>());//降順ソート
	
	//通常
	
	for (map<long long, long long>::iterator it = nums.begin(); it != nums.end(); ++it) {
		if(it->second!=0){
			if(it->second>=it->first){
				sum+=it->second - it->first;
			}
			else{
				sum+=it->second;
			}
		}
		
		#ifdef DEBUG
		//printf("%d\n",v[i]);	
		#endif
	}
	
	
	if(1){
    	printf("%lld",sum);
    	//printf("%lld",N);
    	//puts("Yes");
    	//printf("%d",st.size());
    	//文字列の出力
    	//std::cout << s << std::endl;
    	//printf("%.12f\n",ret);
    	//cout << sum << endl;
	}
	else{
		//puts("No");
	}
	return 0;


	//文字列入力
	/*
	std::cin >> s;
	//sort(s.begin(), s.end());
	for(long long i=0; i<s.length(); i++){
		
		//wk=(s[i+2]-'0')+10*(s[i+1]-'0')+100*(s[i]-'0');
		if(s[i]!='1'){
		}
		//S.substr(i, 5);
		//S.size();
	
	}
	*/
	
	// 配列入力2
	/*
	for(long long i=0; i<N; i++){
		std::cin >> w[i];
	}
	*/
	//std::sort(w.begin(),w.end());//昇順ソート
	//std::sort(w.begin(),w.end(),std::greater<long long>());//降順ソート
	
	//  ペア関連
	/*
	vector<pair<long long, long long> > pairs(N);
	for(long long i=0; i<N; i++){
		long long a, b;
		cin >> a >> b;
		pairs[i] = make_pair(a, b);
	}
    
	sort(pairs.begin(), pairs.end());
	//sort(pairs.begin(), pairs.end(),greater<pair<long long,long long> >());
	
	//通常（ペア用）
	
	for(long long i=0; i<N; i++){
		
	}
	*/

	//  set関連
	/*
	std::set<long long> st;
	for(long long i=0; i<N; i++){
		std::cin >> v[i];
		if(st.find(v[i])==st.end()){
			st.insert(v[i]);
		}
		else{
			st.erase(v[i]);
		}
	}
	*/
	// set 文字列関連
	/*
	for(long long i=0; i<S.size(); i++) {
    	s.insert(S[i]);
  	}
  	cnt=(int)s.find('a');
  	*/
	
	//	map関連
	/*
	bool ok = true;
	map<char,char> ma, ima;
	for (int i = 0; i < S.size(); ++i) {
		char s = S[i], t = T[i];
		if (ma.count(s)) if (ma[s] != t) ok = false;
		if (ima.count(t)) if (ima[t] != s) ok = false;
		ma[s] = t; ima[t] = s;
	}	
	*/
	
	//	pow, sqrt,整数判定関連
	/*
	wk+=pow(v[j][i]-v[m][i],2);	//	wkはdouble
	wk=sqrt(wk);				//	wkはdouble
	if(ceil(wk) == floor(wk)){	//	整数判定
	}
	*/
	
	//	各桁の取り出し 関連
	/*	
	a[0] = (value % 10); 
	value /= 10;// 1桁目を取り出す
	a[1] = (value % 10); 
	value /= 10;// 2桁目を取り出す
	a[2] = (value % 10); 
	value /= 10;// 3桁目を取り出す
	a[3] = (value % 10); 
	value /= 10;// 4桁目を取り出す
	wk1=a[0]+10*a[1];
	wk2=a[2]+10*a[3];
	*/
	
	
	if(1){
    	printf("%lld",N);
    	//printf("%lld",N);
    	//puts("Yes");
    	//printf("%d",st.size());
    	//文字列の出力
    	//std::cout << s << std::endl;
    	//printf("%.12f\n",ret);
    	//cout << sum << endl;
	}
	else{
		//puts("No");
	}
	return 0;
}


Measured memory_bytes: 6272