#include <bits/stdc++.h>
#define FNAME "CANDY"
using namespace std;
const int MAXN = 1e6 + 1;
typedef long long ll;
const long long MOD = 1e9 + 7;
void fastip() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
if (fopen(FNAME".inp", "r")) {
freopen(FNAME".inp", "r", stdin);
freopen(FNAME".out", "w", stdout);
}
}
int n;
vector<int> Sieve(MAXN, 1);
void Sieve_build(){
Sieve[0] = Sieve[1] = 0;
for(int i = 2; i <= sqrt(MAXN); i++){
if(Sieve[i] == 1){
for(int j = i * i; j <= MAXN; j += i){
Sieve[j] = 0;
}
}
}
}
int main(){
fastip();
Sieve_build();
cin >> n;
unordered_map<int,int> mp;
int Mini = 1e9;
int Maxi = 0;
for(int i = 0; i < n ; i++){
int a;
cin >> a;
mp[a]++;
Mini = min(Mini, a);
Maxi = max(Maxi, a);
}
int check = false;
for(int i = Mini; i <= Maxi ; i++){
if(Sieve[i] == 1 && mp[i] == 0){
cout << i;
check = true;
break;
}
}
if(!check){
cout << "No prime number missing!";
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNkZWZpbmUgRk5BTUUgIkNBTkRZIgp1c2luZyBuYW1lc3BhY2Ugc3RkOwpjb25zdCBpbnQgTUFYTiA9IDFlNiArIDE7CnR5cGVkZWYgbG9uZyBsb25nIGxsOwpjb25zdCBsb25nIGxvbmcgTU9EID0gMWU5ICsgNzsKCnZvaWQgZmFzdGlwKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsKICAgIGNpbi50aWUoMCk7IGNvdXQudGllKDApOwogICAgaWYgKGZvcGVuKEZOQU1FIi5pbnAiLCAiciIpKSB7CiAgICAgICAgZnJlb3BlbihGTkFNRSIuaW5wIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3BlbihGTkFNRSIub3V0IiwgInciLCBzdGRvdXQpOwogICAgfQp9CgppbnQgbjsKdmVjdG9yPGludD4gU2lldmUoTUFYTiwgMSk7Cgp2b2lkIFNpZXZlX2J1aWxkKCl7CiAgICBTaWV2ZVswXSA9IFNpZXZlWzFdID0gMDsKICAgIGZvcihpbnQgaSA9IDI7IGkgPD0gc3FydChNQVhOKTsgaSsrKXsKICAgICAgICBpZihTaWV2ZVtpXSA9PSAxKXsKICAgICAgICAgICAgZm9yKGludCBqID0gaSAqIGk7IGogPD0gTUFYTjsgaiArPSBpKXsKICAgICAgICAgICAgICAgIFNpZXZlW2pdID0gMDsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgIH0KfQoKaW50IG1haW4oKXsKICAgIGZhc3RpcCgpOwogICAgU2lldmVfYnVpbGQoKTsKCiAgICBjaW4gPj4gbjsKCiAgICB1bm9yZGVyZWRfbWFwPGludCxpbnQ+IG1wOwoKICAgIGludCBNaW5pID0gMWU5OwogICAgaW50IE1heGkgPSAwOwoKICAgIGZvcihpbnQgaSA9IDA7IGkgPCBuIDsgaSsrKXsKICAgICAgICBpbnQgYTsKICAgICAgICBjaW4gPj4gYTsKICAgICAgICBtcFthXSsrOwogICAgICAgIE1pbmkgPSBtaW4oTWluaSwgYSk7CiAgICAgICAgTWF4aSA9IG1heChNYXhpLCBhKTsKICAgIH0KCiAgICBpbnQgY2hlY2sgPSBmYWxzZTsKCiAgICBmb3IoaW50IGkgPSBNaW5pOyBpIDw9IE1heGkgOyBpKyspewogICAgICAgIGlmKFNpZXZlW2ldID09IDEgJiYgbXBbaV0gPT0gMCl7CiAgICAgICAgICAgIGNvdXQgPDwgaTsKICAgICAgICAgICAgY2hlY2sgPSB0cnVlOwogICAgICAgICAgICBicmVhazsKICAgICAgICB9CiAgICB9CgogICAgaWYoIWNoZWNrKXsKICAgICAgICBjb3V0IDw8ICJObyBwcmltZSBudW1iZXIgbWlzc2luZyEiOwogICAgfQoKICAgIHJldHVybiAwOwp9