#include <stdio.h>
#include <stdlib.h>
#include <time.h>

void readData(int *N, FILE *in)
{
	fscanf(in, "%d", &(*N));
	return ;
}

int irr(int a, int b)
{
	int minNr = a;
	
	if(b < minNr)
		minNr = b;

	for(int i = 2; i <= minNr; ++i)
		if(a % i == 0 && b % i == 0)
			return 0;

	return 1;
}

void getAns(int *ans, int N)
{
	*ans = 2 * N - 1;

	for(int i = 2; i <= N; ++i)
		for(int j = 2; j <= N; ++j)
			if(irr(i, j) == 1)
				(*ans)++;
	return ;
}

void printAns(int ans, FILE *out)
{
	fprintf(out, "%d", ans);
	return ;
}

int main()
{
	clock_t begin = clock();
	FILE 	*in  = fopen("fractii.in", "rt"),
			*out = fopen("fractii.out", "wt");

	int N, ans;
	readData(&N, in);
	getAns(&ans, N);
	printAns(ans, out);

	fclose(in);
	fclose(out);

	clock_t end = clock();
	double time_spent = (double)(end - begin) / CLOCKS_PER_SEC;
	printf("Time: %.3f sec", time_spent);
	return 0;
}