#include <bits/stdc++.h>

using namespace std;

using ll = long long;

const int INF = 1145141919;

template <typename T>
struct SegmentTree {
    int n;
    vector<T> data;
    T INITIAL_VALUE;

    //使うときは、この2つを適宜変更する
    static T merge(T x, T y);
    void updateNode(int k, T x);

    SegmentTree(int size, T initial_value) {
        n = 1;
        INITIAL_VALUE = initial_value;
        while (n < size) n *= 2;
        data.resize(2 * n - 1, INITIAL_VALUE);
    }

    T getLeaf(int k) {
        return data[k + n - 1];
    }

    void update(int k, T x) {
        k += n - 1; //葉の節点
        updateNode(k, x);
        while (k > 0) {
            k = (k - 1) / 2;
            data[k] = merge(data[k * 2 + 1], data[k * 2 + 2]);
        }
    }

    //区間[a, b)に対するクエリに答える
    //k:節点番号, [l, r):節点に対応する区間
    T query(int a, int b, int k, int l, int r) {
        //[a, b)と[l, r)が交差しない場合
        if (r <= a || b <= l) return INITIAL_VALUE;
        //[a, b)が[l, r)を含む場合、節点の値
        if (a <= l && r <= b) return data[k];
        else {
            //二つの子をマージ
            T vl = query(a, b, k * 2 + 1, l, (l + r) / 2);
            T vr = query(a, b, k * 2 + 2, (l + r) / 2, r);
            return merge(vl, vr);
        }
    }

    //外から呼ぶ用
    T query(int a, int b) {
        return query(a, b, 0, 0, n);
    }
};

//使うときは以下2つを変更
template <typename T>
T SegmentTree<T>::merge(T x, T y) {
    return min(x, y);
}

template <typename T>
void SegmentTree<T>::updateNode(int k, T x) {
    data[k] = x;
}

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n;
    cin >> n;
    vector<int> a(n), idx(n);
    for (int i = 0; i < n; i++) {
        cin >> a[i];
        idx[i] = i;
    }
    a.push_back(INF);
    idx.push_back(n);

    auto comp = [&](const int i1, const int i2){
        if (a[i1] - i1 != a[i2] - i2) {
            return (a[i1] - i1) < (a[i2] - i2);
        }
        return i1 < i2;
    };

    sort(idx.begin(), idx.end(), comp);
    SegmentTree<int> dp(n + 1, INF);
    
    vector<int> ans(n + 1, INF);
    queue<int> q;
    for (int i : idx) {
        if (a[i] > i) ans[i] = 0;
        while (!q.empty()) {
            int j = q.front();
            if (a[i] - a[j] >= i - j) {
                dp.update(j, ans[j]);
                q.pop();
            } else {
                break;
            }
        }
        int x = dp.query(0, i) - 1;
        ans[i] = min(ans[i], x);
        q.push(i);
    }
    cout << ans[n] + n << endl;

    /*
    vector<int> dp(n + 1, INF);
    for (int i = 0; i <= n; i++) {
        if (a[i] > i) dp[i] = i;
        for (int j = 0; j < i; j++) {
            if (a[i] - a[j] >= i - j) {
                dp[i] = min(dp[i], dp[j] + i - j - 1);
            }
        }
    }
    cout << dp[n] << endl;*/
    return 0;
}