//#include<fstream.h>
//ifstream f("fractii.in");
//ofstream g("fractii.out");
#include "stdio.h"


int main()
{
	int i,n,a,b,j,ct;

	FILE *in, *out;//declara in si out ca pointer de tip fisier (FILE)
	in = fopen("FRACTII.IN", "rt");
	fscanf(in, "%d", &n);
	fclose(in);

///////////////////////////////////////////////////////
	ct=n+n-1;
	for(i=2;i<=n;i++)
		for(j=i+1;j<=n;j++)
			if(i%j!=0&&j%i!=0)
			       {	a=i;b=j;
				while (a!=b)
					if (a>b)
						a-=b;
					else
						b-=a;
				if(a==1)
					ct=ct+2;
				}
//////////////////////////////////////////////////////////
	out = fopen ("FRACTII.OUT","wt");
	fprintf(out, "%d\n",ct);
	fclose(out);
	return 0;
}