#include <stdio.h>
int contor;
int r;

int get_multipli(int nr, int n){
	
	r=0;
	if(nr==1) return 0;
	contor=1;
	while(contor*nr<=n) { contor++; r++; }
	return r;
}
int aux;
int get_divizori(int nr){
	r=0;
	for(contor=2;contor<nr/2+1;contor++) 
		if(nr%contor==0) r++;
		else r=r+get_multipli(contor,nr);
	return r;
}

int main(){
FILE *f=fopen("fractii.in","r");
int n;
fscanf(stdin,"%d",&n);
int max;
max=n*n;
int i,j;
int num = 0;

for(i=1;i<=n;i++) max=max-get_multipli(i,n)-get_divizori(i);

FILE *out=fopen("fractii.out","w");
fprintf(stdout,"%d",max);
return 0;
}