#include <stdio.h>

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