#include <bits/stdc++.h>

using namespace std;

int a[200001];
pair<int, int> ppl[200001];
long long res;

int main()
{
    int n;
    cin>>n;
    for(int i=1; i<=n; i++)
    {
        cin>>a[i];
    }
    int ind=-1;
    for(int i=1; i<=n; i++)
    {
        if(a[i]>a[i-1])
        {
            ind++;
            ppl[ind].first=0;
            ppl[ind].second=a[i];
        }
        ppl[ind].first++;
    }
    int no=0;
    //for(int i=0; i<=ind; i++)   cout<<ppl[i].first<<' '<<ppl[i].second<<'\n';
    for(int i=ind; i>=0; i--)
    {
        if(no>=ppl[i].second)   break;
        if(ppl[i].first>=ppl[i].second-no+1)
        {
           // cout<<i<<'\n';
            res+=(ppl[i].second-no+1)*(ppl[i].second-no+2)/2-1;
            break;
        }
        res+=ppl[i].first*(ppl[i].second-no);
        no+=ppl[i].first;
    }
    cout<<res<<'\n';
    return 0;
}
