#include <iostream>
using namespace std;
#include<vector>
#include<algorithm>
int main() {
ios::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
int n;
cin>>n;
long long sum=0;
vector<int> stone(n);
for(int i=0;i<n;i++)
{
cin>>stone[i];
}
sort(stone.begin(),stone.end());
int j=0;
for(int i=n-1;stone[i]-j>0;i--,j++)
{
sum+=(stone[i]-j);
}
cout<<sum;
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号