using namespace std;
#include<stdio.h>
int main(){
	FILE*f=fopen("fractii.in", "r");
	FILE*g=fopen("fractii.out", "w");
	long long n, ok, i, j, ciur[10000], v[10000], pr, suma, k, r, t;
	fscanf(f,"%lld", &t);
	n=t;
	suma=0;
	for (j=2;j<=n;j++)
		ciur[j]=1;
	for (j=2;j*j<=n;j++)
		if (ciur[j]==1){
			k=2;
			while (j*k<=n){
				ciur[j*k]=0;
				k++;
			}
		}
	for (i=2;i<=n;i++){
		ok=0;
		for (j=2;j<=i;j++)
			if (ciur[j]==1) if (i%j==0){ v[ok]=j; ok++;}
		pr=1;
		r=i;
		for (j=0;j<ok;j++){
			r=r/v[j];
			pr=pr*(v[j]-1);
		}
		suma=suma+pr*r;
	}
	fprintf(g,"%lld", 2*suma+1);
	fclose(f);
	fclose(g);
	return 0;
}