#include <stdio.h>
int main(void)
{
	int number, sum=0;
	scanf("%d", &number);
	while (number > 0)
	{
		sum = sum + number;
		number--;
	}

	printf("%d", sum);

	return 0;
}