#include <bits/stdc++.h>
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	int n; cin>>n;
	vector<int> v(n+1);
	for(int i=1; i<=n; i++){
		int a; cin>>a;
		v[a]+=a;
	}
	int r=0; int s=0;
	for(int i=1; i<=n; i++){
		if(v[i]>i) r+=v[i]-i;
		if(v[i]==0) s+=i;
	}
	cout << s-r << endl;	
}