#include <stdio.h>
int main(int argc, char const *argv[])
{
	int N,sum=0;
	scanf("%d",&N);

	for (int i = 1; i <=N; ++i)
	{
		sum+=i;	
	}

	printf("%d\n",sum);
	return 0;
}