#include using namespace std; using ll=long long; #define rep2(i, a, n) for(int i = (a); i < (n); i++) #define rep(i, n) rep2(i,0,n) int main(){ cin.tie(nullptr);ios_base::sync_with_stdio(false); int n;cin>>n; vector hoge(n);rep(i,n)cin>>hoge[i]; sort(hoge.begin(),hoge.end()); int cnt=0; rep(i,n){ if(hoge[i]i+1)cnt+=hoge[i]-(i+1); } cout<