#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<b;i++)




typedef long long ll;
#define INF 1LL<<60
int N;
int A[2020];
//-----------------------------------------------------------------
ll dp[2020][2020][2];
ll dfs(int l, int r, int dir) {
	if (0 <= dp[l][r][dir]) return dp[l][r][dir];

	if (l == 0 && r == N - 1) {
		if (dir == 0) return A[0];
		else return A[N - 1];
	}

	ll ret = INF;
	if (dir == 0) {
		if (0 < l) ret = min(ret, dfs(l - 1, r, 0) + 1);
		if (r < N - 1) ret = min(ret, dfs(l, r + 1, 1) + (r - l + 1));
		ret = max(ret, (ll)A[l]);
	} else {
		if (0 < l) ret = min(ret, dfs(l - 1, r, 0) + (r - l + 1));
		if (r < N - 1) ret = min(ret, dfs(l, r + 1, 1) + 1);
		ret = max(ret, (ll)A[r]);
	}
	return dp[l][r][dir] = ret;
}
//-----------------------------------------------------------------
int main() {
	cin >> N;
	rep(i, 0, N) scanf("%d", &A[i]);

	ll ans = INF;
	rep(i, 0, N) rep(j, 0, N) rep(k, 0, 2) dp[i][j][k] = -1;
	rep(i, 0, N) ans = min(ans, dfs(i, i, 0));
	cout << ans << endl;
}