#region ZIPPER
using System;
using System.Collections.Generic;
using System.Collections;
using System.Linq;
using System.Text;
using sc = Scanner;
//using Geometry;
//using gl = Geometry.GeometryLibrary;
class Program
{
static void Main(string[] args)
{
Solver solver = new Solver();
solver.Solve();
#if DEBUG
System.Console.WriteLine("続行するには何かキーを押してください...");
System.Console.ReadKey();
#endif
}
}
///
/// 標準入力読み取り支援,自作(某最速の人を参考)
///
#endregion ZIPPER
public class Solver
{
#region IGNORE_ME
public Solver()
{
//こんすとらくたん きにしなくてよろしい
}
#endregion IGNORE_ME
public int MOD = 1000000007;//10^9 + 7
public void Solve()
{
int n = sc.NextInt();
int[] arr = sc.NextIntArray();
Array.Sort(arr);
int tmp = 0;
int renew = arr[0];
if (arr.Length == 1)
{
Console.WriteLine(1);
}
int[] table = new int[50000];
table[0] = 1;
for (int i = 1; i < arr.Length; i++)
{
if (renew != arr[i])
{
renew = arr[i];
tmp++;
}
table[tmp]++;
}
int answer = 0;
for (int i = 0; i < table.Length; i++)
{
if (table[i] == 1)
{
answer++;
}
else if (table[i] == 0)
{
break;
}
}
Console.WriteLine(answer);
#if DEBUG
Console.WriteLine("");//local check
#endif
}
}
public static class Scanner
{
public static string NextString()
{
string tmp = "";
while (true)
{
int readData;
string data;
readData = Console.Read();
if (readData == -1) //EOF
{
break;
}
data = char.ConvertFromUtf32(readData);
if (data == " " || data == "\n")
{
break;
}
tmp += data;
}
return tmp;
}
public static int NextInt()
{
string tmp = "";
while (true)
{
int readData;
string data;
readData = Console.Read();
if (readData == -1) //EOF
{
break;
}
data = char.ConvertFromUtf32(readData);
if (data == " " || data == "\n")
{
break;
}
tmp += data;
}
return int.Parse(tmp);
}
public static long NextLong()
{
string tmp = "";
while (true)
{
int readData;
string data;
readData = Console.Read();
if (readData == -1) //EOF
{
break;
}
data = char.ConvertFromUtf32(readData);
if (data == " " || data == "\n")
{
break;
}
tmp += data;
}
return long.Parse(tmp);
}
public static double NextDouble()
{
string tmp = "";
while (true)
{
int readData;
string data;
readData = Console.Read();
if (readData == -1) //EOF
{
break;
}
data = char.ConvertFromUtf32(readData);
if (data == " " || data == "\n")
{
break;
}
tmp += data;
}
return double.Parse(tmp);
}
public static string[] NextStrArray()
{
return Console.ReadLine().Split(' ');
}
public static int[] NextIntArray()
{
string[] s = NextStrArray();
int[] a = new int[s.Length];
for (int i = 0; i < a.Length; i++)
{
a[i] = int.Parse(s[i]);
}
return a;
}
public static long[] NextLongArray()
{
string[] s = NextStrArray();
long[] a = new long[s.Length];
for (int i = 0; i < a.Length; i++)
{
a[i] = long.Parse(s[i]);
}
return a;
}
public static double[] NextDoubleArray()
{
string[] s = NextStrArray();
double[] a = new double[s.Length];
for (int i = 0; i < a.Length; i++)
{
a[i] = double.Parse(s[i]);
}
return a;
}
}
///
/// 二次元グリッドなどの文字列で与えられたマップなどで、
/// 手軽にデータ変換を適用するためのクラス
///
public static class CharInterpreter
{
///
/// 変換用辞書
///
private static Dictionary MapToInt = new Dictionary();
///
/// 変換法則を追加する
///
/// char文字
/// 対応する整数値
public static void AddCorrespondence(char c,int i)
{
MapToInt.Add(c,i);
}
///
/// 文字列に対して、対応付けされた
/// 例外処理をしていないので注意
///
/// 対応対応がなかった場合はバグる;;
public static int Inquiry(char c)
{
int ret = 0;
MapToInt.TryGetValue(c, out ret);
return ret;
}
///
/// 指定された変換法則の元でint[,]の二次元平面を生成する
/// 対応関係がない場合の例外処理をしていないので注意
///
/// 配列の各文字列の長さが全て同じでないとうまく作動しないので注意
/// int[ field.length , field[0].length]型の配列
public static int[,] GenerateSquareField(string[] field)
{
int[,] ret = new int[field.Length, field[0].Length];
for (int i = 0; i < field.Length; i++)
{
for (int j = 0; j < field[0].Length; j++)
{
MapToInt.TryGetValue(field[i][j], out ret[i, j]);
}
}
return ret;
}
}