#include <iostream>
#include <vector>

using namespace std;
using ll = long long;

int main () {
    int N; cin >> N;
    vector<int> A(N);
    for (int i = 0; i < N; i++) cin >> A[i];

    // 1か0が存在するなら必ず構築できる。逆に、すべての要素が2以上のとき、少なくとも1要素がネックになって実現できない。
    bool ok = false;
    for (auto v : A) if (v <= 1) ok = true;

    if (ok) {
        cout << "Yes\n";
    }
    else {
        cout << "No\n";
    }
}