#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+1),B(n+2); rep(i,n) cin>>A[i+1]; for(int i=n;i>=1;i--){ if(A[i]>i){ cout<<"No"<