//変更しない値をいくつか選ぶとき、それらは狭義単調増加である必要がある。これは十分条件ではないので、単純にN - (狭義LISの長さ)とはできない。
//(反例) 1 2 2 2
//狭義単調は扱いづらそうなので、広義単調の問題にしたい。整数a,bについてa < b ⇔ a + 1 ≦ bが成り立つこと, 
//最終的なAについてA[0] ≧ 1が成り立つことから, 最終的なAについて
//A[i] ≧ i + 1 (i:0以上)が成り立つことが分かる。ここで、B[i] = A[i] - (i + 1)としてみる。(いくつ増やすか？に注目する）
//すると、
//・Aが狭義単調増加 ⇔ Bが広義単調増加
//・A[i]の値を好きな整数に設定する ⇔ B[i]の値を好きな整数に設定する
//と言い換えられる。よって、(最終的な)A[i]の値が「整数であればよい」としたら、N - (BのLISの長さ)が答えだと分かる。
//
//今回は、「(最終的な)A[i]の値が正の整数」という条件がある。これを素直に言い換えると, B[i] ≧ -iになる。
//これでも良いが, 今回はB[0] = 0, 「Bが広義単調増加」という条件を適用することで、B[i] ≧ 0と変形できる。
//以上で、数列Bに対する問題にできた。
//・ここで、「任意のiについてB[i]≧0」が最初から成り立っていれば、N - (BのLISの長さ)を答えにできる。(変更しない要素を選ぶ条件が「広義単調増加」なため）
//・もし, B[i] < 0が成り立つiがあれば、B[i]を必ず変更する必要がある. 
//  この場合は,「B[i] < 0となっている要素を使わないとして, BのLISを選び, 変更しない要素とする」のが最適である。よって、B[i] < 0の要素を削除して、
//  LISを求めればよい。計算量はO(NlogN)である。

#include <iostream>
#include <algorithm>
#define int long long
using namespace std;

int INF = 1000000007;
int n;
int a[200000];
int dp[200001];	//dp([i])[length] = minValue;

signed main() {
	int i;
	
	cin >> n;
	for (i = 0; i < n; i++) { cin >> a[i]; a[i] -= (i + 1); }
	for (i = 0; i <= n; i++) { dp[i] = INF; }
	dp[0] = -INF;
	
	for (i = 0; i < n; i++) {
		if (a[i] < 0) continue;
		dp[upper_bound(dp, dp + n + 1, a[i]) - dp] = a[i];
	}
	
	for (i = n; i >= 0; i--) if (dp[i] < INF) break;
	cout << n - i << endl;
	return 0;
}