#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
constexpr int lim=3e5;
vector<ll> V;
int k;ll p[105],n;
int main(){
    cin>>k>>n;for(int i=1;i<=k;i++) cin>>p[i];
    int cur=0;V.push_back(1);
    while(++cur<=k){
        ll z=p[cur];
        for(int i=0;i<V.size()&&V.size()<lim;i++){
            if(V[i]*z<=n) V.push_back(V[i]*z);
        }
        if(V.size()>=lim) break;
    }
    ll ans=0;
    sort(V.begin(),V.end());
    auto dfs=[&](auto dfs,int id,ll x) -> void {
        if(n/x*x<ans) return;
        if(id>=cur){
            while(x<=n){
                dfs(dfs,id-1,x);
                x*=p[id];
            }
        }
        else{
            ans=max(ans,x**(upper_bound(V.begin(),V.end(),n/x)-1));
        }
    };
    dfs(dfs,k,1);
    cout<<ans<<'\n';
}