#include <iostream>
#include <vector>


using namespace std;

int main()
{
    int n, a[100000], maxi = 0, ans = 0;
    vector<int> non;
    cin >> n;
    for(int i = 0; i < n; i++)
    {
        cin >> a[i];
        if(a[i] > maxi)
        {
            maxi = a[i];
        }
    }
    non.resize(maxi + 1);
    for(int i = 0;i < n;i++)
    {
        non[a[i]]++;
        if(non[a[i]] > 1)
        {
            ans++;
        }
    }
    ans+=maxi;
    cout << ans;
    return 0;
}