#include <stdio.h>

int main (void){
	int num,r = 0;
	scanf("%d",&num);
	do{
		r = r + num;
		num--;
	}while(num>0);
	printf("%d",r);
	return(0);
}