#include<stdio.h>
#include<string.h>
int main () {
	int n,i,j,p;
	char c[500001];
	long long s=0;
	FILE *in=fopen("fractii.in","r"), *out=fopen("fractii.out","w");
	fscanf(in,"%d",&n);
	memset(c,1,500001*sizeof(c[0]));
	c[0]=0;
	c[1]=0;
	for(i=2;i<=500000;i++)
		if(c[i])
			for(j=i+i;j<=n;j+=i)
				c[j]=0;
	for(i=2;i<=n;i++){
		p=0;
		if(c[i])
			s=s+i-1;
		else{
			p=i;
			for(j=2;j+j<=n;j++)
				if(c[j]==1&&i%j==0)
					p=p-p/j;
			s+=p;
		}
	}
	s=1+2*s;
	fprintf(out,"%lld\n",s);
	fclose(in);
	fclose(out);
	return 0;
}