#include <stdio.h>

int cal(int n);
int main(void)
{
	int n, result;

	scanf(" %d", &n);

	result=cal(n);

	printf("%d", result);

	return 0;
}
int cal(int n)
{
	int result;

	result=((n+2)*(n+1))/2;

	return result;
}