#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll n,ans=1;
vector<ll> v[31];
int main(void){
    v[2]={2};
    v[3]={3};
    v[4]={2};
    v[5]={5};
    v[6]={1};
    v[7]={7};
    v[8]={2};
    v[9]={3};
    v[10]={1};
    v[11]={11};
    v[12]={1};
    v[13]={13};
    v[14]={1};
    v[15]={1};
    v[16]={2};
    v[17]={17};
    v[18]={1};
    v[19]={19};
    v[20]={1};
    v[21]={1};
    v[22]={1};
    v[23]={23};
    v[24]={1};
    v[25]={5};
    v[26]={1};
    v[27]={3};
    v[28]={1};
    v[29]={29};
    v[30]={1};
    cin>>n;
    for(int i=2;i<=n;i++)ans*=v[i][0];
    cout<<ans+1<<endl;
}

#include<bits/stdc++.h>
using namespace std;

int main() {
  int n;
  cin >> n;

  vector<int> count(31,0);

  for(int i = 2; i <= n; i++) {
    vector<int> counter(31,0);
    int tmp = i;
    for(int j = 2; j<= i; j++) {
      if(tmp < j) break;
      while(tmp % j == 0) {
	counter[j] ++;
	tmp /= j;
      }
    }

    for(int j = 2; j <= n; j++) count[j] = max(count[j], counter[j]);
    
  }

  long long int sum = 1;

  for(int i = 2;i <=n; i++) {
    for(int j = 0; j < count[i]; j++) sum *= i;
  }

  cout << sum+1 << endl;
  
  return 0;
}

