//vanitas vanitatum et omnia #include #define fi first #define se second #define eb emplace_back #define mp make_pair using namespace std; typedef long double ld; typedef long long ll; typedef unsigned long long ull; typedef __int128 i128; template T ceil(T x, U y) {return (x>0?(x+y-1)/y:x/y);} template T floor(T x, U y) {return (x>0?x/y:(x-y+1)/y);} template bool chmax(T &a,const S b) {return (a bool chmin(T &a,const S b) {return (a>b?a=b,1:0);} int popcnt(int x) {return __builtin_popcount(x);} int popcnt(ll x) {return __builtin_popcountll(x);} int topbit(int x) {return (x==0?-1:31-__builtin_clz(x));} int topbit(ll x) {return (x==0?-1:63-__builtin_clzll(x));} int lowbit(int x) {return (x==0?-1:__builtin_ctz(x));} int lowbit(ll x) {return (x==0?-1:__builtin_ctzll(x));} #define int long long #define rep(i,a,b) for(int i=(a);i<=(b);i++) #define per(i,a,b) for(int i=(a);i>=(b);i--) typedef pair pii; typedef vector vi; typedef vector vp; typedef tuple tiii; int read() { int x=0,w=1; char c=getchar(); while(!isdigit(c)) {if(c=='-') w=-1; c=getchar();} while(isdigit(c)) {x=x*10+(c-'0'); c=getchar();} return x*w; } const int N=2005,inf=0x3f3f3f3f3f3f3f3f; int n,a[N],f[N][N][2],vst[N][N][2],mx,p; int dp(int l,int r,int x) { if(vst[l][r][x]) return f[l][r][x]; vst[l][r][x]=1; if(l==r) {return f[l][r][x]=p;} f[l][r][x]=-inf; if(x==0) { int s=dp(l+1,r,0); if(a[l]<=s-1) chmax(f[l][r][x],s-1); s=dp(l,r-1,1); if(a[r]<=s-1) chmax(f[l][r][x],s-(r-l+1)); } else { int s=dp(l,r-1,1); if(a[r]<=s-1) chmax(f[l][r][x],s-1); s=dp(l+1,r,0); if(a[l]<=s-1) chmax(f[l][r][x],s-(r-l+1)); } return f[l][r][x]; } signed main() { n=read(); rep(i,1,n) a[i]=read(), chmax(mx,a[i]); int l=mx,r=mx+2*n,ans=-1; while(l<=r) { p=l+r>>1; rep(i,1,n) rep(j,1,n) rep(k,0,1) vst[i][j][k]=0; int s=max(dp(1,n,0),dp(1,n,1)); if(s>=0) ans=p, r=p-1; else l=p+1; } printf("%lld\n",ans); return 0; }