#include<cstdio>

int DP[10005]={0};

void set()
{
	DP[0]=1;
	for(int i=0;i<10000;i++)
	{
		DP[i+1]=DP[i]+i+1;
	}
}

int n;
int main()
{
	set();
	while(scanf("%d",&n)!=EOF)
	{
		printf("%d\n",DP[n]);
	}
	return 0;
}