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

#define int long long

typedef pair<int,int>pint;
typedef vector<int>vint;
typedef vector<pint>vpint;
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define all(v) (v).begin(),(v).end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)
#define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++)
template<class T,class U>void chmin(T &t,U f){if(t>f)t=f;}
template<class T,class U>void chmax(T &t,U f){if(t<f)t=f;}

int N;
int A[2222];

int dp[2222][2222][2];

signed main(){
    cin>>N;
    rep(i,N)cin>>A[i];

    fill_n(**dp,2222*2222*2,INT_MAX);
    dp[0][N-1][0]=A[0];
    dp[0][N-1][1]=A[N-1];
    for(int len=N-1;len>0;len--){
        for(int i=0;i+len<N;i++){
            int j=i+len;
            int tmp;
            tmp=max(dp[i][j][0]+1,A[i+1]);
            chmin(dp[i+1][j][0],tmp);
            tmp=max(dp[i][j][0]+len,A[j]);
            chmin(dp[i+1][j][1],tmp);

            tmp=max(dp[i][j][1]+1,A[j-1]);
            chmin(dp[i][j-1][1],tmp);
            tmp=max(dp[i][j][1]+len,A[i]);
            chmin(dp[i][j-1][0],tmp);
        }
    }

    int ans=INT_MAX;
    for(int i=0;i<N;i++)rep(j,2)chmin(ans,dp[i][i][j]);
    cout<<ans<<endl;
    return 0;
}