fun main(args: Array<String>) {
    val n = readLine()?.toInt() ?: return

    // a値とその個数のmapにする
    // この時点で、a = 個数 のものは除外しておく
    val aMap: Map<Long, Long> = readLine()
        ?.split(" ")
        ?.map { it.toLong() }
        ?.groupBy { it }
        ?.mapValues { it.value.size.toLong() }
        ?.filter { it.key != it.value }
        ?: return

    // a値の個数がa以下の場合には、aはすべて削除する必要がある
    val less: Long = aMap
        .filter { it.key > it.value }
        .values
        .sum()

    // a値の個数がa以上の場合には、(個数-a）個を削除する必要がある
    val more: Long = aMap
        .filter { it.key < it.value }
        .map { it.value - it.key }
        .sum()

    println(less + more)
}