#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> a;
int consistency1(int n){
vector<int> dp(n+1, INF);
dp[0] = 0;
if(a[0] == 0) dp[1] = 0;
else dp[1] = 1;
for(int i=2; i<=n; i++){
int j = i-1;
while(j>=0){
if(a[j]+1 == i-j){
dp[i] = min(dp[i], dp[j]);
}
else dp[i] = min(dp[i], dp[j] + i-j);
j--;
}
}
return dp[n];
}
//* Wrong
int consistency2(int n){
vector<int> dp(n+1, INF);
dp[0] = 0;
unordered_map<int,int> mp = {{a[0]+1, 0}};
for(int i=1; i<=n; i++){
if(mp.count(a[i-1]+i)){
mp[a[i-1]+i] = min(mp[a[i-1]+i], dp[i-1]);
}
else{
mp[a[i-1]+i] = dp[i-1];
}
if(mp.count(i)){
dp[i] = mp[i];
}
else{
dp[i] = i;
}
}
return dp[n];
}
int practice(int n){
return 0;
}
void solve() {
int n;
cin>> n;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
cout << consistency1(n) << " " << consistency2(n) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKCnZlY3RvcjxpbnQ+IGE7CgppbnQgY29uc2lzdGVuY3kxKGludCBuKXsKCgl2ZWN0b3I8aW50PiBkcChuKzEsIElORik7CglkcFswXSA9IDA7CglpZihhWzBdID09IDApIGRwWzFdID0gMDsKCWVsc2UgZHBbMV0gPSAxOwoJCglmb3IoaW50IGk9MjsgaTw9bjsgaSsrKXsKCQkKCQlpbnQgaiA9IGktMTsKCQl3aGlsZShqPj0wKXsKCQkJCgkJCWlmKGFbal0rMSA9PSBpLWopewoJCQkJZHBbaV0gPSBtaW4oZHBbaV0sIGRwW2pdKTsKCQkJfQoJCQllbHNlIGRwW2ldID0gbWluKGRwW2ldLCBkcFtqXSArIGktaik7CgkJCWotLTsKCQl9CgkJCgl9CgkKCXJldHVybiBkcFtuXTsKfQoKCgoKLy8qIFdyb25nIAoKaW50IGNvbnNpc3RlbmN5MihpbnQgbil7CgoJdmVjdG9yPGludD4gZHAobisxLCBJTkYpOwoJZHBbMF0gPSAwOwoJdW5vcmRlcmVkX21hcDxpbnQsaW50PiBtcCA9IHt7YVswXSsxLCAwfX07CgkKCWZvcihpbnQgaT0xOyBpPD1uOyBpKyspewoJCQoJCWlmKG1wLmNvdW50KGFbaS0xXStpKSl7CgkJCW1wW2FbaS0xXStpXSA9IG1pbihtcFthW2ktMV0raV0sIGRwW2ktMV0pOwoJCX0KCQllbHNlewoJCQltcFthW2ktMV0raV0gPSBkcFtpLTFdOwoJCX0KCQkKCQlpZihtcC5jb3VudChpKSl7CgkJCWRwW2ldID0gbXBbaV07CgkJfQoJCWVsc2V7CgkJCWRwW2ldID0gaTsKCQl9Cgl9CgkKCXJldHVybiBkcFtuXTsKfQoKCgoKCgoKCgppbnQgcHJhY3RpY2UoaW50IG4pewoKCiAgICByZXR1cm4gMDsKfQoKCgoKCnZvaWQgc29sdmUoKSB7CiAgICAKICAgIGludCBuOwogICAgY2luPj4gbjsKICAgIAogICAgYS5yZXNpemUobik7CiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiBhW2ldOwogICAgCiAgICBjb3V0IDw8IGNvbnNpc3RlbmN5MShuKSA8PCAiICIgPDwgY29uc2lzdGVuY3kyKG4pIDw8IGVuZGw7CgoKfQoKCgoKCmludDMyX3QgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwoKICAgIGludCB0ID0gMTsKICAgIC8vIGNpbiA+PiB0OwogICAgd2hpbGUgKHQtLSkgewogICAgICAgIHNvbHZlKCk7CiAgICB9CgogICAgcmV0dXJuIDA7Cn0=