#include<stdio.h>
int main()
{ long i,n,nr=1,nr0,nr1,a,b,r,k;
  FILE*f=fopen("fractii.in","r");
  FILE*g=fopen("fractii.out","w");
  fscanf(f,"%ld ",&n);
  nr0=0;
  for (i=2;i<=n;i++)
     { nr1=0;
       for (k=1;k<=i;k++)
	 { a=i;
	   b=k;
	   r=a%b;
	   while (r!=0)
	     { a=b;
	       b=r;
	       r=a%b;}
	   if (b==1) nr1++; }
       nr0+=nr1;}
 nr+=2*nr0;
 fprintf(g,"%ld\n",nr);}