#include <stdio.h>

FILE *f,*g;
long i,j,n,npedoi,temp,p,temp2;
char a[8000][8000];
int v[8000];
long long contor;

int main()
{
  f=fopen("fractii.in","r");
  g=fopen("fractii.out","w");
  fscanf(f,"%ld\n",&n);
	contor=n*n-n+1;
  npedoi=n/2;
  if(n%2==1)
    npedoi++;
  for(i=2;i<=npedoi;i++)
      {
	temp=0;
	for(j=2;i*j<=n;j++)
	  {
	    if(a[i][i*j]!=1)
	      {
		contor-=2;
		temp++;
		v[temp]=i*j;
		a[i][i*j]=1;
		a[i*j][i]=1;
	      }
	  }
	temp2=0;
	for(j=1;j<=temp;j++)
	  for(p=1;p<=temp;p++)
	    if(j!=p)
	    if(a[v[j]][v[p]]==0)
	      {
		temp2++;
		a[v[j]][v[p]]=1;
	      }
	  contor-=temp2;
      }
  fprintf(g,"%lld\n",contor);
  fclose(f);   fclose(g);
  return 0;
}