let N = Int(readLine()!)!

var num: [Int: Int] = [:]
for a in readLine()!.split(separator: " ").map({Int($0)!}) {
    // 辞書型で a が何個あるかを記録する
    // - a があるたびに, aの個数にどんどん 1 を足していく
    // ※ a が初めて登場した数の時 ( ちょっとメンドウ...(~_~;) )
    // num[a] = 〇〇 で a を key, 〇〇 を value とする要素を作る(ex. [a: 〇〇]
    // num[a] は(まだ値がないから) nil を帰すので, (num[a] ?? 0) で nil じゃなくて 0 を帰すようにする
    num[a] = (num[a] ?? 0) + 1
}

var res: Int = 0
for (a, aNum) in num {
    // aの個数 が a より小さいときあるだけ取り除く,
    // aの個数 が a 以上のとき aの個数 - a だけ取り除く٩(๑❛ᴗ❛๑)۶
    res += aNum < a ? aNum : aNum - a
}
print(res) // (๑•ૅㅁ•๑)