#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<int,int> P;
#define REP(i,n) for(int i=0;i<int(n);i++)





int main(){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
    int i,j,k;


    int N;
    cin >> N;

    vector<int> a(N);

    REP(i,N) cin >> a[i];

    sort(a.begin(),a.end());

    bool f=true;
    for(i=1;i<=N;i++){
    	if(i<a[i-1]){
    		f=false;
    		break;
    	}
    }


    if(f) cout << "Yes" << endl;
    else cout << "No" << endl;



	return 0;

}