#include "bits/stdc++.h"
using namespace std;

typedef long long ll;
#define REP(i, n) for(int i = 0;i < n;i++)
#define REPR(i, n) for(int i = n;i >= 0;i--)
#define FOR(i, m, n) for(int i = m;i < n;i++)

//* 便利な変数
namespace {
	int dx4[] = { 1, -1, 0, 0 };
	int dy4[] = { 0, 0, 1, -1 };

	int dx8[] = { 1, -1, 0, 0, 1, 1, -1, -1 };
	int dy8[] = { 0, 0, -1, 1, -1, 1, -1, 1 };

	int mDays[] = { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };

	ll A, B, C, D, E, F, G, H, I, J, K, L, M,
		N, O, P, Q, R, S, T, U, V, W, X, Y, Z;
}
template <typename T>
vector<T> INP(ll n)
{
	vector<T> x;
	REP(i, n) {
		T tmp; cin >> tmp;
		x.push_back(tmp);
	}
	return move(x);
}
//* n文字1行の文字列を入力，一文字ごとの配列を返す
vector<char> SPRIT_STRING(ll n)
{
	string str; cin >> str;
	vector<char> cs(n);
	REP(i, n) cs[i] = str[i];
	return move(cs);
}
//* 文字列中から文字列を検索して別の文字列に置換する
void strReplace(std::string& str, const std::string& from, const std::string& to) {
	std::string::size_type pos = 0;
	while (pos = str.find(from, pos), pos != std::string::npos) {
		str.replace(pos, from.length(), to);
		pos += to.length();
	}
}
//* 素数判定 is_prime<unsigned>(N)
template<typename T, std::enable_if_t<std::is_unsigned<T>::value, std::nullptr_t> = nullptr>
bool is_prime(const T n) {
	if (n < 4) return n == 2 || n == 3;
	if (n % 2 == 0 || n % 3 == 0 || (n % 6 != 1 && n % 6 != 5)) return false;
	for (T i = 5; i * i <= n; i += 6) if (n % i == 0 || n % (i + 2) == 0) return false;
	return true;
}
//* 組み合わせ計算
inline unsigned long long NChooseK(const unsigned long long& n, const unsigned long long& k)
{
	if (n  < k) return 0;
	if (0 == n) return 0;
	if (0 == k) return 1;
	if (n == k) return 1;
	if (1 == k) return n;
	typedef unsigned long long value_type;
	value_type* table = new value_type[static_cast<std::size_t>(n * n)];
	std::fill_n(table, n * n, 0);
	class n_choose_k_impl
	{
	public:

		n_choose_k_impl(value_type* table, const value_type& dimension)
			: table_(table),
			dimension_(dimension)
		{}

		inline value_type& lookup(const value_type& n, const value_type& k)
		{
			return table_[dimension_ * n + k];
		}

		inline value_type compute(const value_type& n, const value_type& k)
		{
			if ((0 == k) || (k == n))
				return 1;
			value_type v1 = lookup(n - 1, k - 1);
			if (0 == v1)
				v1 = lookup(n - 1, k - 1) = compute(n - 1, k - 1);
			value_type v2 = lookup(n - 1, k);
			if (0 == v2)
				v2 = lookup(n - 1, k) = compute(n - 1, k);
			return v1 + v2;
		}

		value_type* table_;
		value_type dimension_;
	};
	value_type result = n_choose_k_impl(table, n).compute(n, k);
	delete[] table;
	return result;
}
//* 座標nx, nyがWidth,Heightの領域内にあるかどうかのチェック
inline bool rangeCheck2D(int nx, int ny, int Width, int Height)
{
	return nx >= 0 and nx < Width and ny >= 0 and ny < Height;
}
//* bit全探索
/*
for (int i = 0; i < 1<<N; i++) {
	REP(j, N)
		if ((1 & i >> j) == 1) {;}
}
*/

// ソートして2分探索
namespace arc084a {
	void arc084a()
	{
		cin >> N;
		vector<ll> a(N), b(N), c(N);
		REP(i, N) cin >> a[i]; sort(a.begin(), a.end());
		REP(i, N) cin >> b[i]; sort(b.begin(), b.end());
		REP(i, N) cin >> c[i]; sort(c.begin(), c.end());
		
		vector<ll> bcnt(N);
		bcnt[N - 1] = N - distance(c.begin(), upper_bound(c.begin(), c.end(), b[N - 1]));
		REPR(i, N-2) {
			auto itr = upper_bound(c.begin(), c.end(), b[i]);
			bcnt[i] = bcnt[i + 1] +  N - distance(c.begin(), itr);
		}

		ll ans = 0;
		REP(i, N) {
			auto itr = upper_bound(b.begin(), b.end(), a[i]);
			int index = distance(b.begin(), itr);
			if (index < N) ans += bcnt[index];
		}
		cout << ans << endl;
	}
}

namespace abc082b {
	void abc082b()
	{
		string s, t; cin >> s >> t;
		sort(s.begin(), s.end());
		sort(t.rbegin(), t.rend());
		cout << ((t > s) ? "Yes" : "No") << endl;
	}
}

namespace abc082c {
	void abc082c()
	{
		map<int, ll> cnt;
		cin >> N;
		REP(i, N) {
			int a; cin >> a;
			cnt[a]++;
		}
		ll ans = 0;
		for (auto c : cnt) {
			ans += (c.second >= c.first)?(c.second - c.first) : c.second;
		}
		cout << ans << endl;
	}
}

int main()
{
	//abc017c::abc017c();
	abc082c::abc082c();
	//arc084a::arc084a();
	//agc002a::agc002a();
	return 0;
}


Measured memory_bytes: 6272