awk -M '\
NR>1{
    N = split($0,A);
    for(i in A){
        d[A[i]]++
    }
    ans = 0
    for(i in d){
        if(d[i] > i){
            ans += d[i] - i
        }
        if(i > d[i]){
            ans += d[i]
        }
    }
    print ans
}'