#include <iostream>
#include <unordered_map>
using namespace std;

int main()
{
	int n;
	scanf("%d", &n);
	unordered_map<int, int> m;
	for (int i = 0; i < n; i++)
	{
		int a;
		scanf("%d", &a);
		++m[a];
	}

	int ans = 0;
	for (auto p : m)
	{
		if (p.second >= p.first)
			ans += p.second - p.first;
		else
			ans += p.second;
	}
	printf("%d\n", ans);

	return 0;
}