#include<bits/stdc++.h>
#include<stdlib.h>
#define pb push_back
#define ff first
#define ss second
#define int long long
#define let long long
//#define mp make_pair
#define cin_arr(arr,n) for (int i=0; i<n;i++) cin>>arr[i];
#define cout_arr(arr,n) for (int i=0; i<n;i++) cout<<arr[i]<<" ";
#define cout_set(st) for (auto i:st) cout<<i<<" ";
#define endl '\n'
using namespace std;
//int n;
//vector<int>arr(100005);
//
//void make(int x) {
//    for (int i=0; i<n;i++) {
//        if (i<x) arr[i]--;
//        else if (i>x) arr[i]++;
//    }
//}
//
//int f(int x){
//    int l=0,r=arr.size()-1;
//    while (r-l>1) {
//        int m=(l+r)/2;
//        if (arr[m]<x) r=m;
//        else l=m;
//    }
//    if (arr[l]==x) {make(l);return l;}
//    {make(r);return r;}
//}
//
//int bin() {
//    int l=0,r=arr.size()-1;
//    while (r-l>2) {
//        int m1=r-(r-l)/3;
//        int m2=l+(r-l)/3;
//        if (f(m1)>f(m2)) l=m2;
//        else r=m1;
//    }
//    cout<<l<<" "<<r;
//}

int32_t main()
{
    ios_base::sync_with_stdio(false),cin.tie(0),cout.tie(0);

    int n;
    cin>>n;
    map<int,int>mp;
    for (int i=0; i<n;i++) {
        int x;
        cin>>x;
        mp[x]++;
    }
    vector<pair<int,int> >v;
    for (auto i:mp) {
        v.pb({i.ff,i.ss});
    }
    int ans=0,di=0;
    for (int i=v.size()-1;i>=0;i--) {
        if (v[i].ff-di<=0) break;
        ans += (v[i].ff-di)*v[i].ss;
        di+=v[i].ss;
    }
    cout<<ans;
}

