#include using namespace std; #define _p(...) (void)printf(__VA_ARGS__) #define forr(x,arr) for(auto&& x:arr) #define _overload3(_1,_2,_3,name,...) name #define _rep2(i,n) _rep3(i,0,n) #define _rep3(i,a,b) for(int i=int(a);i=int(a);i--) #define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define bit(n) (1LL<<(n)) #define sz(x) ((int)(x).size()) #define fst first #define snd second using ll=long long; using pii=pair;using pll=pair;using pil=pair;using pli=pair; using vs=vector;using vvs=vector;using vvvs=vector; using vb=vector;using vvb=vector;using vvvb=vector; using vi=vector;using vvi=vector;using vvvi=vector; using vl=vector;using vvl=vector;using vvvl=vector; using vd=vector;using vvd=vector;using vvvd=vector; using vpii=vector;using vvpii=vector;using vvvpii=vector; templateistream&operator>>(istream&is,pair&P){is>>P.fst;is>>P.snd;return is;} templateT read(){T t;cin>>t;return t;} templateostream&operator<<(ostream&o,const pair&p){return o<<'('<ostream&operator<<(ostream&o,const vector&t){o<<"{";rep(i,sz(t))o<void e_r_r(vs::iterator it,T a,Args... args){cerr<substr((*it)[0]==' ',it->length())<<" = "< bool amin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; } void Main() { int n = read(); vector A(n+1); rep(i, n) A[i+1] = read(); const ll inf = 1e18; vvvl dp(n+2, vvl(n+2, vl(2, inf))); dp[2][n][0] = A[1]; dp[1][n-1][0] = A[n]; rrep(w, n) { rep(l, 1, n+1) { int r = l + w; if (r > n) continue; amin(dp[l+1][r][0], max(A[l], dp[l][r][0] + 1)); amin(dp[l+1][r][0], max(A[l], dp[l][r][1] + (r - l + 1))); amin(dp[l][r-1][1], max(A[r], dp[l][r][0] + (r - l + 1))); amin(dp[l][r-1][1], max(A[r], dp[l][r][1] + 1)); } } ll ans = inf; rep(l, 1, n+1) rep(lr, 2) ans = min(ans, dp[l][l-1][lr]); cout << ans << endl; } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }