#include <bits/stdc++.h>
using namespace std;
int main() {
int n;
cin >> n;
vector<int> a(n);
for(int i = 0;i<n;i++){
cin >> a[i];
}
sort(a.begin(),a.end(),greater<int>());
int d = 0;
for(int i = 0;i<n;i++){
if(a[i]>i){
d += a[i] - i;
}
}
cout << d;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBtYWluKCkgewogICAgaW50IG47CiAgICBjaW4gPj4gbjsKICAgIHZlY3RvcjxpbnQ+IGEobik7CiAgICBmb3IoaW50IGkgPSAwO2k8bjtpKyspewogICAgICAgIGNpbiA+PiBhW2ldOwogICAgfQogICAgc29ydChhLmJlZ2luKCksYS5lbmQoKSxncmVhdGVyPGludD4oKSk7CiAgICBpbnQgZCA9IDA7CiAgICBmb3IoaW50IGkgPSAwO2k8bjtpKyspewogICAgICAgIGlmKGFbaV0+aSl7CiAgICAgICAgICAgIGQgKz0gYVtpXSAtIGk7CiAgICAgICAgfQogICAgfQogICAgY291dCA8PCBkOwogICAgcmV0dXJuIDA7Cn0K