#include <stdio.h>

int main()
{
   FILE *f;
   FILE *g;

   f = fopen("fractii.in","r");
   int n;
   fscanf(f,"%d",&n);
   int contor;
   contor = 0;
   int i;
   int j;
   for (i=n; i >= 1; i--)
     {
     for (j=i-1;j >= 1; j--)

	{
	 if ((i % j) != 0)
	       contor = contor+1;
	       }
      }
	contor =((contor+(n-1))*2)+1;
   g = fopen("fractii.out","w");
   fprintf(g,"%d",contor);
   fclose(f);
   fclose(g);
   return 0;
}