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

int main(){
  int N;ll ans=0;cin>>N;
  vector<pair<int,int>> yak(N+1);
  for(int i=1;i<=N;i++)yak[i]={i,1};
  for(int i=2;i<=N;i++){
    if(yak[i].first==1)continue;
    for(int j=i;j<=N;j+=i){
      int mae=yak[j].second;
      while(yak[j].first%i==0){
        yak[j].second+=mae;
        yak[j].first/=i;
      }
    }
  }
  vector<ll> rui(N+1);
  for(int i=1;i<=N;i++)rui[i]=yak[i].second;
  for(int i=1;i<=N;i++)rui[i]+=rui[i-1];
  for(int i=1;i<=N;i++)ans+=rui[i];
  cout<<ans<<endl;
}