#include<bits/stdc++.h>
using namespace std;

int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  long long N;
  cin>>N;
  long long ans=N*(N+1)/2;
  for(int i=0;i<N;i++){
    int a;
    cin>>a;
    if(a==N)ans-=(i+1)*2;
  }
  cout<<max(ans,0ll)<<'\n';
  
}