#include <stdio.h>

int p[1000009],n,i,j;
long long s;
FILE * fisier;

int main()
{
	fisier=fopen("fractii.in","r");
	fscanf(fisier,"%i",&n);
	fclose(fisier);
	fisier=fopen("fractii.out","w");
	for(i=2;i<=n;i++) p[i]=i-1;
	for(i=2;i<=n;i++)
	{	
		s+=p[i];
		for(j=2*i;j<=n;j+=i)
			p[j]-=p[i];
	}
	
	fprintf(fisier,"%i",2*s+1);
	fclose(fisier);
	return 0;
}