#include #include #include using namespace atcoder; using mint = modint998244353; using namespace std; #define rep(i,n) for(int i=0;i<(n);i++) #define Inf 1000000001 int main(){ int n; cin>>n; vector a(n); rep(i,n){ cin>>a[i]; } sort(a.begin(),a.end()); if(a.back()==0 || a[n-2]==0){ cout<<"Yes"< y; for(long long i=1;i*i<=g;i++){ if(g%i==0){ y.push_back(i); if(i*i!=g)y.push_back(g/i); } } rep(i,y.size()){ long long T = a.back() - m; T /= y[i]; T ++; T -= (n-zero); if(T<=zero){ cout<<"Yes"<