#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include using namespace std; int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); int n; cin>>n; vector A(n); rep(i,n) cin>>A[i]; priority_queue> que; for(int i=1;iA[b+1]){ ans++; A[b]=min(A[b-1],A[b+1])-1; que.push({A[b],b}); } } cout<