#include <iostream>
#include<queue>
using namespace std;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int n;
    cin>>n;
    priority_queue<int,vector<int>>heap;
    for(int i=0;i<n;i++){
        int a;
        cin>>a;
        heap.push(a);
    }
    int cnt=0;
    long long sum=0;
    while(!heap.empty()){
        int t=heap.top();
        heap.pop();
        if(t<=cnt)break;
        sum+=t-cnt;
        cnt++;
    }
    cout<<sum<<endl;
    return 0;
}
// 64 位输出请用 printf("%lld")