//Lib
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<ctime>
#include<iostream>
#include<algorithm>
#include<vector>
#include<string>
#include<queue>
#include<stack>
#include<set>
#include<map>
using namespace std;
//Macro
#define rep(i,a,b) for(int i=a,tt=b;i<=tt;++i)
#define drep(i,a,b) for(int i=a,tt=b;i>=tt;--i)
#define erep(i,e,x) for(int i=x;i;i=e[i].next)
#define irep(i,x) for(__typeof(x.begin()) i=x.begin();i!=x.end();i++)
#define read() (strtol(ipos,&ipos,10))
#define sqr(x) ((x)*(x))
#define pb push_back
#define PS system("pause");
typedef long long ll;
typedef pair<int,int> pii;
const int oo=~0U>>1;
const double inf=1e100;
const double eps=1e-6;
string name="", in=".in", out=".out";
//Var
int n,p[10000],cnt,ans;
bool vis[40008];
void GetPrime()
{
for(int i=2;i*i<=40000;i++)
{
if(!vis[i])p[++cnt]=i;
for(int j=1;j<=cnt&&i*p[j]<=40000;j++)
{
vis[i*p[j]]=true;
if(i%p[j]==0)break;
}
}
}
int phi(int x)
{
int ret=x;
for(int i=1;i<=cnt&&p[i]*p[i]<=x;i++)
{
if(x%p[i]==0)
{
ret-=ret/p[i];
while(x%p[i]==0)x/=p[i];
if(x==1)break;
}
}
if(x!=1)ret-=ret/x;
return ret;
}
void Work()
{
GetPrime();
scanf("%d",&n);
rep(i,1,n-1)
ans+=phi(i);
cout<<ans*2+1<<endl;
}
int main()
{
// freopen((name+in).c_str(),"r",stdin);
// freopen((name+out).c_str(),"w",stdout);
// Init();
Work();
return 0;
}
Ly9MaWIKI2luY2x1ZGU8Y3N0ZGlvPgojaW5jbHVkZTxjc3RyaW5nPgojaW5jbHVkZTxjc3RkbGliPgojaW5jbHVkZTxjbWF0aD4KI2luY2x1ZGU8Y3RpbWU+CiAKI2luY2x1ZGU8aW9zdHJlYW0+CiNpbmNsdWRlPGFsZ29yaXRobT4KI2luY2x1ZGU8dmVjdG9yPgojaW5jbHVkZTxzdHJpbmc+CiNpbmNsdWRlPHF1ZXVlPgojaW5jbHVkZTxzdGFjaz4KI2luY2x1ZGU8c2V0PgojaW5jbHVkZTxtYXA+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7Ci8vTWFjcm8KI2RlZmluZSByZXAoaSxhLGIpICBmb3IoaW50IGk9YSx0dD1iO2k8PXR0OysraSkKI2RlZmluZSBkcmVwKGksYSxiKSBmb3IoaW50IGk9YSx0dD1iO2k+PXR0Oy0taSkKI2RlZmluZSBlcmVwKGksZSx4KSBmb3IoaW50IGk9eDtpO2k9ZVtpXS5uZXh0KQojZGVmaW5lIGlyZXAoaSx4KSAgIGZvcihfX3R5cGVvZih4LmJlZ2luKCkpIGk9eC5iZWdpbigpO2khPXguZW5kKCk7aSsrKQojZGVmaW5lIHJlYWQoKSAgKHN0cnRvbChpcG9zLCZpcG9zLDEwKSkKI2RlZmluZSBzcXIoeCkgICgoeCkqKHgpKQojZGVmaW5lIHBiICBwdXNoX2JhY2sKI2RlZmluZSBQUyAgc3lzdGVtKCJwYXVzZSIpOwp0eXBlZGVmIGxvbmcgbG9uZyAgIGxsOwp0eXBlZGVmIHBhaXI8aW50LGludD4gcGlpOwpjb25zdCBpbnQgb289fjBVPj4xOwpjb25zdCBkb3VibGUgaW5mPTFlMTAwOwpjb25zdCBkb3VibGUgZXBzPTFlLTY7CnN0cmluZyBuYW1lPSIiLCBpbj0iLmluIiwgb3V0PSIub3V0IjsKLy9WYXIKaW50IG4scFsxMDAwMF0sY250LGFuczsKYm9vbCB2aXNbNDAwMDhdOwp2b2lkIEdldFByaW1lKCkKewogICAgZm9yKGludCBpPTI7aSppPD00MDAwMDtpKyspCiAgICB7CiAgICAgICAgaWYoIXZpc1tpXSlwWysrY250XT1pOwogICAgICAgIGZvcihpbnQgaj0xO2o8PWNudCYmaSpwW2pdPD00MDAwMDtqKyspCiAgICAgICAgewogICAgICAgICAgICB2aXNbaSpwW2pdXT10cnVlOwogICAgICAgICAgICBpZihpJXBbal09PTApYnJlYWs7CiAgICAgICAgfQogICAgfQp9CmludCBwaGkoaW50IHgpCnsKICAgIGludCByZXQ9eDsKICAgIGZvcihpbnQgaT0xO2k8PWNudCYmcFtpXSpwW2ldPD14O2krKykKICAgIHsKICAgICAgICBpZih4JXBbaV09PTApCiAgICAgICAgewogICAgICAgICAgICByZXQtPXJldC9wW2ldOwogICAgICAgICAgICB3aGlsZSh4JXBbaV09PTApeC89cFtpXTsKICAgICAgICAgICAgaWYoeD09MSlicmVhazsKICAgICAgICB9CiAgICB9CiAgICBpZih4IT0xKXJldC09cmV0L3g7CiAgICByZXR1cm4gcmV0Owp9CnZvaWQgV29yaygpCnsKICAgIEdldFByaW1lKCk7CiAgICBzY2FuZigiJWQiLCZuKTsKICAgIHJlcChpLDEsbi0xKQogICAgICAgIGFucys9cGhpKGkpOwogICAgY291dDw8YW5zKjIrMTw8ZW5kbDsKfQppbnQgbWFpbigpCnsKLy8gIGZyZW9wZW4oKG5hbWUraW4pLmNfc3RyKCksInIiLHN0ZGluKTsKLy8gIGZyZW9wZW4oKG5hbWUrb3V0KS5jX3N0cigpLCJ3IixzdGRvdXQpOwovLyAgSW5pdCgpOwogICAgV29yaygpOwogICAgcmV0dXJuIDA7Cn0=