#include<bits/stdc++.h>
using namespace std;

int main(){
    int n;
    cin>>n;
    map<int, int>cucc;
    int ln=0;
    for(int i=1; i<=n; i++){
        int x;
        cin>>x;
        cucc[x]++;
        ln=max(ln, x);
    }
    for(auto i=cucc.begin(); i!=cucc.end(); i++){
        int k=i->second;
        ln+=k-1;
    }
    cout<<ln;



}