unittest
{
	assert( [ "4", "3 3 3 3" ].parse.expand.solve == 1 );
	assert( [ "5", "2 4 1 4 2" ].parse.expand.solve == 2 );
	assert( [ "1", "1000000000" ].parse.expand.solve == 1 );
	assert( [ "8", "2 7 1 8 2 8 1 8" ].parse.expand.solve == 5 );
}



import std.algorithm;
import std.conv;
import std.range;
import std.stdio;
import std.string;
import std.typecons;

void main()
{
	stdin.byLineCopy.parse.expand.solve.writeln;
}

auto parse( Range )( Range input )
if( isInputRange!Range && is( ElementType!Range == string ) )
{
	auto n = input.front.strip.to!( long );
	input.popFront;
	auto as = input.front.split.to!( long[] );
	return tuple( as );
}

auto solve( long[] as )
{
	as.sort();
	as ~= 0L;		// 最後に集計したいので被らないやつを追加しておく
	
	auto r = 0L;
	auto d = 0L;
	auto x = as[ 0 ];
	
	foreach( i, a; as )
	{
		// 要素が変わったら集計
		if( a != x )
		{
			if( d < x ) r += d;			// 要素が少なかった場合は全部取り除く
			else        r += d - x;		// 要素が多かった場合は多い分だけ取り除く
			d = 0L;
			x = a;
		}

		// 同じ要素の数をカウント
		d++;
	}
	
	return r;
}
