#include<stdio.h>

int main(void)
{
	int N;
	int sum = 0;
	int i;
	scanf("%d",&N);
	for (i = 1; i<=N;i++)
	{
		sum = sum + i;
	}
	printf("%d",sum);
		return 0;
}