Problem:
Bamboo Blossoms

The bamboos live for decades, and at the end of their lives,
they flower to make their seeds. Dr. ACM, a biologist, was fascinated
by the bamboos in blossom in his travel to Tsukuba. He liked
the flower so much that he was tempted to make a garden where
the bamboos bloom annually. Dr. ACM started research of
improving breed of the bamboos, and finally, he established
a method to develop bamboo breeds with controlled lifetimes.
With this method, he can develop bamboo breeds that flower
after arbitrarily specified years.

Let us call bamboos that flower k years after sowing
"k-year-bamboos."
k years after being sowed, k-year-bamboos make
their seeds and then die,
hence their next generation flowers after another k years.
In this way, if he sows seeds of k-year-bamboos, he can
see bamboo blossoms every k years. For example,
assuming that he sows seeds of 15-year-bamboos,
he can see bamboo blossoms every 15 years;
15 years, 30 years, 45 years, and so on, after sowing.

Dr. ACM asked you for designing his garden. His garden is partitioned
into blocks, in each of which only a single breed of bamboo can grow.
Dr. ACM requested you to decide which breeds of bamboos
should he sow in the blocks in order to see bamboo blossoms
in at least one block for as many years as possible.

You immediately suggested to sow seeds of one-year-bamboos in all blocks.
Dr. ACM, however, said that it was difficult to develop a bamboo breed
with short lifetime, and would like a plan using only those breeds with
long lifetimes. He also said that, although he could wait for some years
until he would see the first bloom, he would like to see it in
every following year.
Then, you suggested a plan
to sow seeds of 10-year-bamboos, for example, in different blocks each year,
that is, to sow in a block this year and in another block next year, and so on,
for 10 years. Following this plan, he could see
bamboo blossoms in one block every year except for the first 10 years.
Dr. ACM objected again saying he had determined to sow in all
blocks this year.

After all, you made up your mind to make a sowing plan where the bamboos
bloom in at least one block for as many consecutive years as possible
after the first m years (including this year)
under the following conditions:

the plan should use only those bamboo breeds whose
lifetimes are m years or longer, and

Dr. ACM should sow the seeds in all the blocks only this year.

Input

The input consists of at most 50 datasets, each in the following format.

m n

An integer m (2 ≤ m ≤ 100) represents the lifetime
(in years)
of the bamboos with the shortest lifetime that Dr. ACM can use for
gardening.
An integer n (1 ≤ n ≤ 500,000) represents the number of blocks.

The end of the input is indicated by a line containing two zeros.

Output

No matter how good your plan is, a "dull-year" would
eventually come, in which the bamboos do not flower in any block.
For each dataset, output in a line an integer meaning how many
years from now the first dull-year comes after the first m years.

Note that the input of m = 2 and n = 500,000
(the last dataset of the Sample Input) gives the largest answer.

Sample Input

3 1
3 4
10 20
100 50
2 500000
0 0

Output for the Sample Input

4
11
47
150
7368791

Solution in C++14 (judge verdict: Accepted)

#include <bits/stdc++.h>
using namespace std;
using ll = long long; using ull = unsigned long long;
//#define int ll
using vb = vector<bool>; using vvb = vector<vb>;
using vi = vector<int>; using vvi = vector<vi>;
using vl = vector<ll>; using vvl = vector<vl>;
template<class T> using V = vector<T>;
template<class T> using VV = vector<V<T>>;
#define fi first
#define se second
#define maxs(x,y) (x=max(x,y))
#define mins(x,y) (x=min(x,y))
using pii = pair<int,int>; using pll = pair<ll,ll>;
#define FOR(i,a,b) for(ll i = (a); i < (ll)(b); ++i)
#define REP(i,n) FOR(i,0,n)
#define RFOR(i,a,b) for(ll i = (ll)(b)-1;i >= a;--i)
#define RREP(i,n) RFOR(i,0,n)
#define ALL(obj) (obj).begin(), (obj).end()
#define rALL(obj) (obj).rbegin(), (obj).rend()
#define eb(val) emplace_back(val)
const double PI = acos(-1), EPS = 1e-10;
const ll MOD = 1e9+7;
template<class T> istream& operator>>(istream &is,vector<T> &st){
  for(size_t i=0;i<st.size();++i) is >> st[i];
  return is;
}
template<class T> istream& operator>>(istream &is,vector<vector<T>> &st){
  for(size_t i=0;i<st.size();++i) is >> st[i];
  return is;
}
template<class T> ostream& operator<<(ostream &os, const vector<T> &st){
  for(size_t i=0;i<st.size();++i){
    if(i==st.size()-1) os << st[i];
    else os << st[i] << " ";
  }
  return os;
}
template<class T> ostream& operator<<(ostream &os, const vector<vector<T>> &st){
  for(size_t i=0;i<st.size();++i){
    os << st[i];
    if(i!=st.size()-1) os << endl;
  }
  return os;
}
signed main(){
  cin.tie(0);
  ios::sync_with_stdio(false);
  int n,m;
  while(cin >> m >> n,m){
    vb year(7368791+1,false);
    REP(i,m) year[i] = true;
    int id = m;
    REP(i,n){
      FOR(j,id,7368791+1){
        if(!year[j]){
          id = j;
          break;
        }
      }
      for(int j = id;j<7368791+1;j+=id){
        year[j] = true;
      }
    }
    FOR(j,id,7368791+1){
      if(!year[j]){
        cout << j << endl;
        break;
      }
    }
  }
}