#include<cstdio>
long long  a[1000000];
int main()
{
	FILE *f=fopen("fractii.in", "r");
	FILE *g=fopen("fractii.out", "w");
	long long rez=0, i, j; int n;
	fscanf(f, "%d", &n);
	for(i=2; i<=n; i++)
		a[i]=i-1;
	for(i=2; i<=n; i++)
	{
		rez=rez+a[i];
		for(j=i*2; j<=n; j=j+i)
			a[j]=a[j]-a[i];
	}
	rez=2*rez+1;
	fprintf(g, "%Ld\n", rez);
	return 0;
}