#include <stdio.h>
long a[2005],v[2005];
void totient()
{ long i,j;
	for (i=2;i<=2000;i++)
		v[i]=i;
	for (i=2;i<=2000;i++)
		{
		if (a[i]==0)
			{
			j=1;
			while(i*j<=2000)
				{
				a[i*j]=1;
				v[i*j]=v[i*j]-(v[i*j]/i);
				j++;
				}
			}
		}

}
int main()
{ long long n,i,j,p,q,sol=1;
FILE*f=fopen("fractii.in","r");
FILE*g=fopen("fractii.out","w");
totient();
fscanf(f,"%lld",&n);
for (i=2;i<=n;i++)
	sol+=2*v[i];
fprintf(g,"%lld",sol);
return 0;
}