#include <bits/stdc++.h>
#define DEBUG if(0)
#define lli long long int
#define ldouble long double
using namespace std;

int main()
{
  int k;
  while (~scanf("%d", &k))
  {
    lli ans = 0;
    for (lli a = 1; a <= k; a++)
      for (lli b = 1; a*b <= k; b++)
        for (lli c = 1, hehe = a*b; hehe*c <= k; c++)
          ans++;
    printf("%lld\n", ans);
  }
  return 0;
}
#include <bits/stdc++.h>

using namespace std;

typedef long long ll;

ll f(ll x, ll y) {
  ll g = __gcd(x, y);
  x /= g;
  return x * y;
}

int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);



  int n;
  cin >> n;
  ll p = 1;
  for (int i = 1; i <= n; i++) p = f(p, i);
  cout << p + 1 << "\n";
}
