#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")

京公网安备 11010502036488号