#include<fstream.h>
ifstream f("fractii.in");
ofstream g("fractii.out");
long long n,k;

void erat(long long x)
{k=0; long long x1=x;
for(long long i=2;i<x1;i++)
if(x%i==0)
     {k=k+x1/i-1;
     while(x%i==0)
       x=x/i;
     }
}


int main()
{
f>>n;
long long t=0;
for(long long i=3;i<=n;i++)
   {erat(i);
   t=t+i-k-2;
   }
g<<2*(t+n)-1;
return 0;
}