#include <stdio.h>

int main(int argc, char *argv[]){
	int a,b,r,i;
	char str[10];

	scanf("%d",&a);

	r = 0;
	for (i = 1; i <= a; i++){
		r += i;
	}

	printf("%d",r);

	return 0;
}