#include using namespace std; typedef long long ll; typedef pair P; #define REP(i,n) for(int i=0;i> N; vector a(N); REP(i,N) cin >> a[i]; sort(a.begin(),a.end()); if(a[0]<=1) cout << "Yes" << endl; else cout << "No" << endl; return 0; }