#include "bits/stdc++.h"

#include <iostream>
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<(n);i++)

int d[30];

int main(){
	int a[210],n,m,i,s=0;
	scanf("%d",&n);
	for(i=1;i<=n;i++)scanf("%d",a+i);

	for(i=1;i<=n;i++)s+=a[i];
	m=sqrt(s);
	for(i=1;i<=m;i++)s-=a[i]<i?a[i]:i;
	for(i=m+1;i<2*m;i++)s-=a[i]<2*m-i?a[i]:2*m-i;
	printf("%d",s);
	return 0;
}