#include<stdio.h>

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