#include <stdio.h>

int goukei(int n){
	int i;
	int ret=0;
	for(i=0; i<=n; i++){
		ret+=i;
	}
	return ret;
}



int main(void){

	int total;
	int n;
	scanf("%d", &n);
	total=goukei(n);
	printf("%d\n", total);
	return 0;
}