#include <stdio.h>

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