#include<stdio.h>
int main () {
	int n,i,j,nr=0;
	FILE *in=fopen("fractii.in","r"), *out=fopen("fractii.out","w");
	fscanf(in,"%d",&n);
	for(i=1;i<=1000000;i++){
		for(j=1;j<=n;j++)
			if(i%j||i/j==i)
				nr++;
		if(j==n)
			i=1000001;
	}
	fclose(in);
	fprintf(out,"%d\n",nr);
	fclose(out);
	return 0;
}