#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(){ int n; cin>>n; bool b=true; vector A(n-1),B(n-1); rep(i,n-1) cin>>A[i]; sort(ALL(A)); rep(i,n-1){ if(i+1-A[i]<0){ b=false; break; } B[i]=i+2-A[i]; } if(b==false){ cout<<"NO"<